Tablas de Verdad

Constantes

false
true

Variables

Una variable es un nombre con una o más letras.
Algunos nombres están reservados para las constantes y otros para los operadores.
Se distinguen mayúsculas de minúsculas.

Operadores / precedencia

! not
& && and
nand
^ xor
| || or
nor
=>
<=>

Observaciones

Las variables pueden tener uno o más letras.
Pueden usarse paréntesis para establecer la asociación de los operadores.

Ejemplos

a=>b
a=>b <=> not b => not a
not (a=>b) <=> a and not b
! (a=>b) <=> a && ! b
not (XenA and XenB) <=> not XenA or not XenB

Precaución

No puede haber más de 32 variables.

Ingrese la expresión:

Abril 30th, 2020