check2 TRUE

p(qr)
inference logic(pq)(pr)
0

Truth check table

Casepqrp(qr)(pq)(pr)
1TTTTT
2TTFTT
3TFTTT
4TFFFF
5FTTFF
6FTFFF
7FFTFF
8FFFFF
Public: Yes; Show truth table: Yes;