Principiul rezolutiei

a, a c, a(bc) = (abc)
I1 a
I2 a c a c a c
I3 a(bc) a( bc) a bc
I4 abc

R1 rez(I1,I2) ( a,a c) c
R2=rez(R1,I3)= ( c,a bc)= a b
R3=rez(R2,I4)= (a b,abc)= (ac)

Fals