Question

求命题公式(P->Q)<->R主合取范式。离散数学！！！急急急

求命题公式(P->Q)<->R主合取范式

Answer 1

(P->Q)<->R
<=> ((P-->Q)-->R)且(R-->(P-->Q))
<=> (非(非P或Q)或R)且(非R或(非P或Q))
<=> ((P且非Q)或R)且(非R或非P或Q)
<=> (P 或R)且(非Q或R)且(非R或非P或Q)
<=> ((P 或Q或R)且(P或非Q 或R))且((P或非Q或R)且(非P或非Q或R))且(非R或非P或Q)
<=> (P 或Q或R)且(P或非Q 或R)且(非P或Q或非R)且(非P或非Q或R)
<=> M0且M2且M5且M6，
此即为所求。
这里写得眼睛都看花了，出错难免。就是这个方法，你自己算一遍。