离散数学例题看不懂~(1) (r1 ∧ ¬ q2) ∨ (q2 ∧ ¬ r1) ⇔ 1(甲:C第一、B第二)(2) (r2 ∧ ¬ s3) ∨ (s3 ∧ ¬ r2) ⇔ 1(乙:C第二、D第三)(3) (p2 ∧ ¬ s4) ∨ (s4 ∧ ¬ p2)
来源:学生作业帮助网 编辑:六六作业网 时间:2024/11/28 19:55:41
离散数学例题看不懂~(1) (r1 ∧ ¬ q2) ∨ (q2 ∧ ¬ r1) ⇔ 1(甲:C第一、B第二)(2) (r2 ∧ ¬ s3) ∨ (s3 ∧ ¬ r2) ⇔ 1(乙:C第二、D第三)(3) (p2 ∧ ¬ s4) ∨ (s4 ∧ ¬ p2)
离散数学例题看不懂~
(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))怎么变到下面那个式子?
离散数学例题看不懂~(1) (r1 ∧ ¬ q2) ∨ (q2 ∧ ¬ r1) ⇔ 1(甲:C第一、B第二)(2) (r2 ∧ ¬ s3) ∨ (s3 ∧ ¬ r2) ⇔ 1(乙:C第二、D第三)(3) (p2 ∧ ¬ s4) ∨ (s4 ∧ ¬ p2)
设(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) (代换回去就是上式)