~ p ∨ q ; r ∨ ~ q ; p ; s ∴ r ∨ s TRUE

~ p ∨ q
r ∨ ~ q
p
s
inference logicr ∨ s
0

Truth check table

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