Siano A, B, C, D, E cinque variabili booleane, ossia variabili che possono assumere solo valori 1 (VERO) e 0 (FALSO).
Ricordando che gli operatori booleani sono:
- ¬A (not A) VERO se A è FALSO, e FALSO se A è VERO
- A ∧ B (A and B) VERO se sia A sia B sono VERO, e FALSO in tutti gli altri casi
- A ∨ B (A or B) FALSO se sia A sia B sono FALSO, e VERO in tutti gli altri casi
e che in assenza di parentesi l’ordine di valutazione degli operatori è quello sopra riportato (prima not, poi and, poi or) si dica a cosa è equivalente la seguente espressione booleana
¬(¬(A ∧ (B ∨ A)) ∧ ¬(C ∨ (C ∧ D)))
- A ∨ ¬B ∧ C
- A
- A ∨ C
- C