~ p q ; r ~ q ; p ; s r s TRUE

~ pq
r ~ q
p
s
inference logicrs

Truth check table

Casepqrs ~ pqr ~ qrs
1TTTTTTT
2TTTFTTT
3TTFTTFT
4TTFFTFF
5TFTTFTT
6TFTFFTT
7TFFTFTT
8TFFFFTF
9FTTTTTT
10FTTFTTT
11FTFTTFT
12FTFFTFF
13FFTTTTT
14FFTFTTT
15FFFTTTT
16FFFFTTF
Public: Yes; Show truth table: Yes;