求P→Q∨R的析取范式、主析取范式、主合取范式
问题描述：
求P→Q∨R的析取范式、主析取范式、主合取范式
我求的是：P→Q∨R的析取范式、主析取范式、主合取范式，
答
主合取范式:若干个极大项的合取.主析取范式:若干个极小项的析取.例,求公式(p∧q)∨r的主析取范式及主合取范式.主析取范式:(p∧q)∨r (p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r) (p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)...