合取范式更简单：
((P∧Q)∧((P→R)∧(Q→S)))→(S∧R)
┐((P∧Q)∧((┐P∨R)∧(┐Q∨S)))∨(S∧R)
(┐(P∧Q)∨┐((┐P∨R)∧(┐Q∨S)))∨(S∧R)
(┐P∨┐Q)∨(┐(┐P∨R)∨┐(┐Q∨S)))∨(S∧R)
(┐P∨┐Q)∨(P∧┐R)∨(Q┐∧S)∨(S∧R)
((┐P∨┐Q ∨P)∧(┐P∨┐Q ∨┐R))∨((Q┐∨R)∧S)
((┐Q∧(┐P∨┐Q ∨┐R))∨(Q┐∨R))∧ ((┐Q∧(┐P∨┐Q ∨┐R))∨ S)
((┐Q∨(Q┐∨R))∧((┐P∨┐Q ∨┐R)∨(Q┐∨R))∧((┐Q ∨S)∧(┐P∨┐Q∨┐R∨S))
(┐Q∨R)∧(┐P∨┐Q)∧(┐Q∨S)∧(┐P∨┐Q∨┐R∨S) (合取范式)