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假

所有其他符号都被解释为变量 您可能需要转义某些符号，具体取决于您的 shell。空格被忽略

例子

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