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

A → B

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

B → C

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

C → D

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

inference logic ~ A → D

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

A

X работает

B

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

C

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

D

Х ест

0

Truth check table

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