[RISOLTO] C++: problema che non capisco

[Spiros]

Ci hanno dato un problema 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 due dati bool come argomenti e restituisce vero o falso. Non ho neanche idea di che cosa significhi NAND.

[roob]

Nand = Not (a and b) o dico cavolate? 

[Spiros]

È possibile. Faccio solo notare che la scrittura che hai usato nel mio caso dovrebbe essere espressa come (ma poi lo sistemo io, una volta capito il succo):
NAND = NOT(AND(x,y))

[difesaparcosempione]

Quello è il testo oppure una sola parte ? 

[Spiros]

Quello è il testo oppure una sola parte ? 

Quello che vedi nel primo post è l'intero problema... Quello che non capisco della dimostrazione che mi chiedono è: cosa vuol dire che sono completi? Che cosa devo dimostrare?