без обновления 2.0 (B), невозможно обновить 2.1 (A) TRUE

AB
A

2.1 было обновлено

inference logicB

вывод 2.0 также обновлено

A

2.1

B

2.0

0

Truth check table

CaseABAB
1TTT
2TFF
3FTT
4FFT
Public: Yes; Show truth table: Yes; Tags: Life;