Обозначим через А простое высказывание «Людоед голоден», а через В «он давно не ел». Тогда логическая формула сложного высказывания имеет вид: А=В.
Таблица истинности операций импликации и эквивалентности.
А В А→В А=В
Вывод.
Порядок логических операций по убыванию старшинства следующий: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность.
