( ~ p q) (p q) TRUE

p
q
inference logic( ~ pq)(pq)
0

Truth check table

Casepq( ~ pq)(pq)
1TTT
2TFT
3FTT
4FFT
Public: Yes; Show truth table: Yes;