请问离散数学中的“用等值演算法证明下面等值式”这类题型要怎么做,一般的演算步骤是什么?求详细步骤,

请问离散数学中的“用等值演算法证明下面等值式”这类题型要怎么做,一般的演算步骤是什么?求详细步骤,谢谢

用书上的24个基本等价式进行等价代换

比如:p→q <=> ┐p∨q

一般先把蕴含和等值化成或与非
温馨提示:答案为网友推荐,仅供参考