Vamos a extendernos un poquito más sobre los operadores lógicos &, | y ~
(AND, OR y NOT).
Estos operadores funcionan según los criterios establecidos en las tablas de verdad del álgebra de Boole. Analicemos el resultado r de las expresiones para los 3 operadores, suponiendo que operan sobre dos variables lógicas v1 y v2 (en el caso del ~ es solo una por ser monario).
r ← v1 & v2
| v1 | v2 | r |
| F | F | F |
| F | V | F |
| V | F | F |
| V | V | V |
r ← v1 | v2
| v1 | v2 | r |
| F | F | F |
| F | V | V |
| V | F | V |
| V | V | V |
r ← ~v1
| v1 | r |
| F | V |
| V | F |