Double Negation TRUE

~ ( ~ (A ~ C))
inference logicA ~ C
0
Public: Yes; Show truth table: No;