Nota: Para la definición como función lógica de ¬, /\, \/, →, y ↔, véase Tabla de valores de verdad