题目

离散数学例题看不懂~
（1） (r1 ∧ ¬ q2) ∨ (q2 ∧ ¬ r1) ⇔ 1（甲：C第一、B第二）
（2） (r2 ∧ ¬ s3) ∨ (s3 ∧ ¬ r2) ⇔ 1（乙：C第二、D第三）
（3） (p2 ∧ ¬ s4) ∨ (s4 ∧ ¬ p2) ⇔ 1（丙：A第二、D第四）
由1⇔（1）∧（2）
⇔((r1 ∧¬q2) ∨ (q2∧¬r1) ) ∧((r2 ∧ ¬s3) ∨ (s3 ∧¬r2))
⇔(r1∧¬q2∧r2∧¬s3)∨(¬q2∧r1∧s3∧¬r2)∨(q2∧¬r1∧r2∧¬s3)∨(q2∧¬r1∧s3∧¬r2)
怎么来的?要详细过程这是书上的例题 我看不懂
((r1∧¬q2)∨(q2∧¬r1))∧((r2∧¬s3)∨(s3∧¬r2))怎么变到下面那个式子?

提问时间：2021-03-17

答案

设(r1 ∧¬q2)=A,(q2∧¬r1)=B,(r2 ∧ ¬s3)=C,(s3 ∧¬r2)=D（为了看的清楚）,则由1⇔（1）∧（2） ⇔(A ∨ B ) ∧(C ∨ D) ⇔((A∨B)∧C)((A∨B)∧D)⇔(A∧C)∨(B∧C)∨(A∧D)∨(...