这个我们可以使用真值表法,当你列出式子的所有真值你就可以直观看到他的所有真值都为1,相信真值表大家都会列,但是逻辑性不强
逻辑性强可以看看这个https://zhuanlan.zhihu.com/p/136735412