"suppress" double negation steps TRUE

~ (AB)
C(AB)
C( ~ ( ~ (AB)))
inference logic ~ C
0
Public: Yes; Show truth table: No; Cloned from: @239(I'm applying modus tollens);