universal logic gates

It is common wisdom that NAND and NOR are universal logic gates: any logic circuit can be created using any one of these two gates. This property is called "functional completeness".

But are these the only two (binary) gates with this property? This wikipedia page states there aren't any others:

In digital electronics terminology, the binary NAND gate and the binary NOR gate are the only binary universal logic gates.

Given two signals, A and B, there are 4 possible cominations: AB, A̅B, AB̅, A̅B̅. This implies there are 16 possible binary gates. Some like AND, OR, XOR, NAND, NOR have names. There are 5 gates that don't have any names, so we'll just number them G1-G5:

image/svg+xml 0 0000(not really a gate) 0001NOR 0010G1 0011(not really binary) 0100G2 0101(not really binary) 0110XOR 0111NAND 1000AND 1001G3 1010(not really binary) 1011G4 1100(not really binary) 1101G5 1110OR 1111(not really a gate) 1

Let's assume that a gate is universal if it can be used as to create a NOT and an AND gate. As long as we agree that NAND is a universal gate, we don't need to get into too much formalisme

Using G1, you can create a NOT by using the 1 constant. Constants always exist in a circuit, how else can a gate invert a 0 into a 1?

image/svg+xml = = 1 1

G2 is the mirror of G1.

In a similar way, you can use the 0 constant with G4.

And G5 is the mirror of G4.

Notice how G1, G2, G5 and G4 form a pattern on the 16 possible gates?