离散数学最基本的问题

Question

这个题怎么做啊
目怎么做啊

Answer 1

利用蕴涵等值式进行等值演算，
P∨(┐Q→(Q∨(┐Q→R))) <=> P∨(Q∨(Q∨(Q∨R))) <=> P∨Q∨R <=> M0，这就是主合取范式。由此可得主析取范式是m1∨m2∨m3∨m4∨m5∨m6∨m7。