نقل قول: [tex]\bar{P(X)}\vee R(Y,X)[/tex]
[tex]M(Y)\vee P(X) \vee NOT R(X,Y)[/tex]

نقل قول: [tex]\bar{P(X)} \vee Q(X)[/tex]
[tex]\bar{Q(X})\vee \bar{P(Y)} \vee R(Y,X)[/tex]