等值验算

题目

等值验算
((q∧┐r)∨ (┐q∧r))∧((r∧s)∨ (┐r∧┐s)) 就是这个
底下直接出了答案=（q∧┐r∧┐s）∨ (┐q∧r∧s) 实在推不出

答案

用一下分配律而已.整个结构就是(A∨B)∧(C∨D)的样子,分配律应用后是(A∧C)∨(A∧D)∨(B∧C)∨(B∧D).
用了分配律后是(q∧┐r∧r∧s)∨(q∧┐r∧┐r∧┐s)∨(┐q∧r∧r∧s)∨(┐q∧r∧┐r∧┐s)=0∨(q∧┐r∧┐s)∨(┐q∧r∧s)∨0=(q∧┐r∧┐s)∨(┐q∧r∧s)