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

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

2、首先，先想办法去掉蕴含符号，写成非前件析取后件。

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

4、这时候，我们可以利用结合律将两个非结合在一起。

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

6、这个时候，我们再根据另一个式子，利用蕴含等值式逆运算，即可判断其相等。