vlogsolv

vlogsolv

vlogsolv é um pequeno programa de linha de comando que calcula tabelas de valores para expressões lógicas. Está completamente escrito em V

Prédio

1. Instalar V
2. correr v .

Para obter uma compilação otimizada, você pode usar v -prod .

Uso

./vlogsolv <expression>

Os seguintes operadores estão disponíveis

• ! Não
• & E
• | Ou
• = Equivalência
  • (a & b) | (!a & !b)
• > Implicação
  • !a | b
• < Conversar Implicação
  • b > a
• ^ Exclusivo ou
  • (a | b) & !(a & b)
• 1 ou T Verdadeiro
• 0 ou F Falso

Todos os outros símbolos são interpretados como variáveis. Você pode precisar escapar de alguns símbolos dependendo do seu shell. Espaços são ignorados

Exemplo

./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