Să se demonstreze teorema de mai jos aplicând principiul Wang

A∧C→D, A, B→C, B ╞ D.
A∧C→≈┐(A∧C)˅D ≈┐A˅┐C˅D
┐A˅┐C˅D,A,┐B˅C, B ╞ D
T1: ┐A˅┐C˅D ,A ,┐B, B ╞ D→
┐A˅┐C˅D ,A,B=D,B
T2: ┐A˅┐C˅D ,A,C,B ╞ D
T21:┐A,A,C,B╞ D→A,C,B╞A,D
T22:┐C˅D,A,C,B╞D
T221:┐C,A,C,B╞D→A,C,B╞D,C
T222:D,A,C,B╞D
Să se demonstreze teorema de mai jos aplicând principiul Rezolutiei

A∧C→D, A, B→C, B ╞ D.
F1: A∧C→D≈ ┐(A∧C) ˅D≈ ┐A˅┐C˅D
F2: A
F3: B
F4: B→C≈ ┐B˅C
F5: ┐D

R1: (F3,F4)=B, ┐B˅C ╞ C

R2: (R1,F1)=C, ┐A∧┐C˅D ╞ ┐A˅D
R3: (R2,F2)= ┐A˅D, A╞ D
R4: (R3,F5)= D, ┐D╞ D