Ci hanno dato un problema di logica per informatica che non capisco. Ecco il testo.

Show that the following sets of functions are complete for the set of binary Boolean functions.

* {AND, NOT}
* {OR, NOT}
* {NAND}
* {NOR}, where NOR := NOT o OR
* {XOR, AND}


You may use the fact that {AND, OR, NOT} is a complete set of binary functions.
Voi ci capite qualcosa? Io so solo che una funzione booleana prende uno o due dati bool come argomenti e restituisce vero o falso. Per esempio AND(A, B) è vero quando A e B sono entrambi veri; NOT(A) è vero quando A è falso. Non ho neanche idea di che cosa significhi NAND; forse NAND(A, B) = NOT(AND(A, B)), cioè OR(NOT(A), NOT(B)).
:master: