Operaciones booleanas con 4 variables
Al variar t de 0 a 15, las variables booleanas a, b, c y d toman todas las combinaciones de valores posibles. Cuando las proposiciones p1, p2, p3 o p4 son ciertas, están precedidas de un círculo azul.
Puedes cambiar cualquiera de las cuatro proposiciones p1, p2, p3 ó p4 en la línea de entrada. Por ejemplo, introduce alguna de las siguientes líneas, y pulsa luego [ENTER]:
p1 = a ∨ b ∧ (¬c) ∧ d
p2 = (a ∨ b) ∧ (c ≠ d)
p3 = a ∧ b ∨ c ∨ d
...
Cuando las hayas cambiado todas, pulsa el botón [(Re)construir tabla].
Los símbolos pueden obtenerse del menú desplegable que aparece al final de la línea de entrada después de hacer clic en ella, o en Windows, introducirse por teclado con estas equivalencias sin comillas:
En caso de duda sobre la prioridad de los operadores, utilizar paréntesis.
| Operador | Símbolo | Teclado |
| ====== | ===== | ====== |
| O | ∨ | "||" (dos veces [AltGr] + "1") |
| Y | ∧ | "&&" |
| NO | ¬ | ([AltGr] + 6) o "!" |
| Igual | ≟ | "==" |
| Distinto | ≠ | "!=" |