Originariamente inviato da DydBoy
Tutta quella roba riguardo gli OR, gli AND, gli XOR, le tautologie, le implicazioni, le regole di Morgan (credo si chiamassero cosí).
Aggiungo anche gli insiemi, le operazioni su di essi, le proprietà, ecc.