问题标题：
离散数学例题看不懂~（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))怎么变到下面那个式子?
蒋盛益回答：
设(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)∨(...
点击显示
数学推荐
热门数学推荐