El programa funciona como un intérprete: el usuario introduce una expresión booleana y a continuación el programa imprime la tabla de verdad correspondiente.
La simbología utilizada es:
- Disyunción inclusiva: v.
- Conjunción: &.
- Negación: ~.
- Disyunción exclusiva: xor.
- Condicional: ->.
- Bicondicional: <->.
- gcc 7.1.1
- bison 3.0.4
- flex 2.6.4
Versiones en las que ha sido probado. Puede que funcione con versiones anteriores.