求主析取范式和主合取范式技巧 主合取范式和主析取范式转换?
主合取范式和主析取范式转换?变形: Q∧(P∨┐P)∨(┐Q∧P) Q∧1∨(┐Q∧P) Q∨(┐Q∧P) (Q∨┐Q)∧(Q∨P) 1∧(Q∨P) Q∨P Q