在 Maxima 中生成真值表

Question

我知道 Maxima 可以评估逻辑表达式，例如：

false and true or not true

将评估为

false

这很好，但是我如何生成包含所有变量的所有解释的真值表？

例如，我想要

A and B or not B

生成这样的表：

|  A  |  B  |  A and B or not B  |
+-----+-----+--------------------+
|  0  |  0  |         1          |
|  0  |  1  |         0          |
|  1  |  0  |         1          |
|  1  |  1  |         1          |

Answer 1

truth_table(A and B or not B);