Logical NOT

[compsystems]

1 OR 1 → true ok
1 OR 0 → true ok
2 OR 2 → true ok
-2 OR -2 → true ??? → false
true OR true → true ok
true OR false → true ok
true XOR false → 1 ??? → true
-1 XOR 1 → 1 ??? → true
NOT true → false
NOT false → true