等值验算
问题描述：
等值验算
((q∧┐r)∨ (┐q∧r))∧((r∧s)∨ (┐r∧┐s)) 就是这个
底下直接出了=（q∧┐r∧┐s）∨ (┐q∧r∧s)
答
((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐r∧┐s))
((q∧┐r)∧(r∧s))∨((┐q∧r)∧(r∧s))∨((q∧┐r)∧(┐r∧┐s))∨((┐q∧r)∧(┐r∧┐s))
(┐q∧r∧s)∨(q∧┐r∧┐s)
(q∧┐r∧┐s)∨(┐q∧r∧s)