vlogsolv

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 True
• 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