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

BUG

A

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

AB

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

Truth check table

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