vlogsolv

vlogsolv

vlogsolv est un petit programme en ligne de commande qui calcule des tables de valeurs pour les expressions logiques. C'est entièrement écrit en V

Bâtiment

1. Installer V
2. exécuter v .

Pour obtenir une version optimisée, vous pouvez utiliser v -prod .

Usage

./vlogsolv <expression>

Les opérateurs suivants sont disponibles

• ! Pas
• & Et
• | Ou
• = Equivalence
  • (a & b) | (!a & !b)
• > Implications
  • !a | b
• < Implication inverse
  • b > a
• ^ Exclusif ou
  • (a | b) & !(a & b)
• 1 ou T vrai
• 0 ou F Faux

Tous les autres symboles sont interprétés comme des variables. Vous devrez peut-être échapper à certains symboles en fonction de votre shell. Les espaces sont ignorés

Exemple

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