111 TRUE

(A ~ B) ~ C
~ D
A ~ B
inference logic ~ C
0
Public: Yes; Show truth table: No;