Кто не работает - тот ест, учись студент! FALSE

AB

Кто работает, тот получает деньги

BC

Кто получает деньги, то тратит деньги на еду

CD

Кто тратит деньги на еду, тот ест

inference logic ~ AD

Кто не работает - тот ест

A

X работает

B

X получает деньги

C

X тратит деньги на еду

D

Х ест

0

Truth check table

CaseABCDABBCCD ~ AD
1TTTTTTTT
2TTTFTTFT
3TTFTTFTT
4TTFFTFTT
5TFTTFTTT
6TFTFFTFT
7TFFTFTTT
8TFFFFTTT
9FTTTTTTT
10FTTFTTFF
11FTFTTFTT
12FTFFTFTF
13FFTTTTTT
14FFTFTTFF
15FFFTTTTT
16FFFFTTTF
Public: Yes; Show truth table: Yes;