这是一个非常简单的命令行工具，可以根据给定的布尔表达式生成真值表。

示例

$ truth-table "a or b"
a b | a∨b
0 0 | 0
0 1 | 1
1 0 | 1
1 1 | 1

$ truth-table "(a or b) -> c"
a b c | (a∨b)→c
0 0 0 | 1
0 0 1 | 1
0 1 0 | 0
0 1 1 | 1
1 0 0 | 0
1 0 1 | 1
1 1 0 | 0
1 1 1 | 1