case TRUE

P
P((RS)T)
RQ
SQ
TQ
inference logicQ
0

Truth check table

CasePRSTQP((RS)T)RQSQTQ
1TTTTTTTTT
2TTTTFTFFF
3TTTFTTTTT
4TTTFFTFFT
5TTFTTTTTT
6TTFTFTFTF
7TTFFTTTTT
8TTFFFTFTT
9TFTTTTTTT
10TFTTFTTFF
11TFTFTTTTT
12TFTFFTTFT
13TFFTTTTTT
14TFFTFTTTF
15TFFFTFTTT
16TFFFFFTTT
17FTTTTTTTT
18FTTTFTFFF
19FTTFTTTTT
20FTTFFTFFT
21FTFTTTTTT
22FTFTFTFTF
23FTFFTTTTT
24FTFFFTFTT
25FFTTTTTTT
26FFTTFTTFF
27FFTFTTTTT
28FFTFFTTFT
29FFFTTTTTT
30FFFTFTTTF
31FFFFTTTTT
32FFFFFTTTT
Public: Yes; Show truth table: Yes;