Truthful

逻辑表达式解析器、优化器和评估器。

$ cargo run
welcome! enter ? for help
> a or (a and b)
evaluating "a"
 a  eval
 0   0
 1   1
> !a v b
evaluating (!"a" v "b")
 a  b  eval
 0  0   1
 0  1   1
 1  0   0
 1  1   1
> q
bye!

待办事项

• 语法运算符优先级。
• 实际优化（当前的优化是一堆 NAND + DeMorgan 原始转换）。