vlogsolv

vlogsolv

vlogsolv es un pequeño programa de línea de comandos que calcula tablas de valores para expresiones lógicas. Está completamente escrito en V.

Edificio

1. Instalar V
2. v .

Para obtener una compilación optimizada, puede utilizar v -prod .

Uso

./vlogsolv <expression>

Los siguientes operadores están disponibles

• ! No
• & Y
• | O
• = Equivalencia
  • (a & b) | (!a & !b)
• > Implicación
  • !a | b
• < Implicación inversa
  • b > a
• ^ Exclusivo o
  • (a | b) & !(a & b)
• 1 o T verdadero
• 0 o F Falso

Todos los demás símbolos se interpretan como variables. Es posible que necesite escapar algunos de los símbolos dependiendo de su shell. Se ignoran los espacios

Ejemplo

./vlogsolv '(a | !b) & c'

 Input: (a | !b) & c
Prefix: &|a!bc
Atoms: ["a", "b", "c"]

 a | b | c | value
---+---+---+-------
 1 | 1 | 1 | true
 1 | 1 | 0 | false
 1 | 0 | 1 | true
 1 | 0 | 0 | false
 0 | 1 | 1 | false
 0 | 1 | 0 | false
 0 | 0 | 1 | true
 0 | 0 | 0 | false