在离散数学中，如何证明两个式子相等

1、假设我们要判断这样的一个等值式是否等值，那么可以这样证明。

3、然后我们再对另一个蕴含符号同样的处理。

5、再然后，我们可以利用德摩根律将非符号取出，并将析取换为合区。