INF.02 · pytanie 806
W algebrze Boole'a, prawo podwójnego przeczenia (negacji) stwierdza, że:
- ANOT (NOT A) jest równe 0
- BA AND (NOT A) jest równe 1
- CNOT (NOT A) jest równe APoprawna
- DA OR (NOT A) jest równe 0
Wyjaśnienie
Zgodnie z prawem podwójnej negacji, dwukrotne zaprzeczenie wartości logicznej przywraca jej pierwotną wartość (¬¬A = A).