\phi_1 = p \vee \neg p
, reszta obojętnie
\phi_1 = p
,
\phi_2 = q
,
\phi_3 = r
\phi_1 = p \wedge \neg p
,
\phi_2 = q \wedge \neg q
,
\phi_3 = dowolne