OR

X | Y | f(Y,X) |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
AND

X | Y | f(Y,X) |
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
NOT

X | f(X) |
0 | 1 |
1 | 0 |
NOR (Universal)

X | Y | f(Y,X) |
0 | 0 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 0 |
NAND (Universal)

X | Y | f(Y,X) |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
XOR

X | Y | f(Y,X) |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
Si queréis experimentar un poco con ellas aquí tenéis un simulador de puertas lógicas (con símbolos no normalizados)