vlogsolv

vlogsolv

vlogsolv ist ein kleines Kommandozeilenprogramm, das Wertetabellen für logische Ausdrücke berechnet. Es ist vollständig in V geschrieben

Gebäude

1. Installieren Sie V
2. laufen v .

Um einen optimierten Build zu erhalten, können Sie v -prod .

Verwendung

./vlogsolv <expression>

Die folgenden Operatoren sind verfügbar

• ! Nicht
• & Und
• | Oder
• = Äquivalenz
  • (a & b) | (!a & !b)
• > Implikation
  • !a | b
• < Umgekehrte Implikation
  • b > a
• ^ Exklusiv oder
  • (a | b) & !(a & b)
• 1 oder T True
• 0 oder F Falsch

Alle anderen Symbole werden als Variablen interpretiert. Abhängig von Ihrer Shell müssen Sie möglicherweise einige der Symbole maskieren. Leerzeichen werden ignoriert

Beispiel

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