在离散数学中，如何理解等值式

1、首先，我们假设有如下两个命题式子。

2、然后我们列出式子中的所有变元。

3、这时候，我们列出变元的所有可能的二进制表。

4、因此列出的等值式与所有命题变元，就能通过简单运算得来。

5、然后我们就能求出这两个命题式子的等价真值表。

6、因为A等B是重言式，所以我们就说A与B是等值式。