В таблице истинности некоторые значения "Истинно" или "Ложно" были заменены выражениями ЗН.1 ... ЗН.5
А
В
((А
↔
В)
∧
¬ А)
→
¬В
И
И
И
И
И
Л
Л
И
Л
И
Л
И
ЗН.1
Л
Л
Л
ЗН.2
ЗН.3
Л
И
Л
Л
И
ЗН.4
ЗН.5
И
Л
Л
Л
Л
И
Л
И
И
И
И
В примере заменяют значения "Истинно" следующие выражения...