UC知道离散数学例题看不懂~!
来源：百度知道 编辑：UC知道 时间：2024/06/17 04:28:43
（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))怎么变到下面那个式子??
（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))怎么变到下面那个式子??
设(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)∨(B∧D) （代换回去就是上式）