Бажина - Не работает подстановка @id - use another inference ID as a variable FALSE

BUG

A

Не работает подстановка @id - use another inference ID as a variable

inference logicAB

не получится использовать другие доказательства как переменные

0

Truth check table

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