22 lines
381 B
Text
22 lines
381 B
Text
def tests: [
|
|
"A xor B",
|
|
"notA",
|
|
"A and B",
|
|
"A and B or C",
|
|
"A=>(notB)",
|
|
"A=>(A => (B or A))",
|
|
"A xor B and C"
|
|
];
|
|
|
|
def tables:
|
|
tests[] as $test
|
|
| ($test | statement | .result)
|
|
| . as $result
|
|
| vars as $vars
|
|
| ($vars + [" ", $test] | join(" ") | underscore),
|
|
(($vars | vars2tf)
|
|
| ( [.[], " ", eval($result) | TF] | join(" ")) ),
|
|
""
|
|
;
|
|
|
|
tables
|