p ; p q ; q r p (q r) TRUE

p
pq
qr
inference logicp(qr)

Truth check table

Casepqrpqqrp(qr)
1TTTTTT
2TTFTFF
3TFTFTF
4TFFFTF
5FTTTTF
6FTFTFF
7FFTTTF
8FFFTTF
Public: Yes; Show truth table: Yes;