LOGIC PROOF
List
My list
Create
Clone
Info
Login
Сэм уплатит налог за машину или Сэм утратит свою машину и будет ходить на работу пешком
TRUE
p
p
∨
(
~
q
∧
r)
p
Сэм уплатит налог за машину
q
Сэм останется при своей машине
r
Сэм будет ходить на работу пешком
Truth check table
Case
p
q
r
p
∨
(
~
q
∧
r)
1
T
T
T
T
2
T
T
F
T
3
T
F
T
T
4
T
F
F
T
5
F
T
T
F
6
F
T
F
F
7
F
F
T
T
8
F
F
F
F
Public:
Yes
,
Show truth table:
Yes
,
Tags: