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