vlogsolv

влогсолв

vlogsolv — небольшая программа командной строки, которая вычисляет таблицы значений для логических выражений. Он полностью написан на V.

Здание

1. Установить V
2. запустить v .

Чтобы получить оптимизированную сборку, вы можете использовать v -prod .

Использование

./vlogsolv <expression>

Доступны следующие операторы

• ! Нет
• & И
• | Или
• = Эквивалентность
  • (a & b) | (!a & !b)
• > Значение
  • !a | b
• < Обратная импликация
  • b > a
• ^ Эксклюзивный Или
  • (a | b) & !(a & b)
• 1 или T Правда
• 0 или F Ложь

Все остальные символы интерпретируются как переменные. В зависимости от вашей оболочки вам может потребоваться экранировать некоторые символы. Пробелы игнорируются

Пример

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