(A⊃B)&(B⊃C) // (~A&~B)∨((~A&C)∨~(B⊃~C))