В чем особенности логических операций импликации и эквиваленции?

Импликация и эквиваленция — составные логические операции, которые состоят из базовых: конъюнкции, дизъюнкции и инверсии. maximumtest.ru

Импликация по смыслу похожа на использование союзов «если… то…». maximumtest.ru Часть формулы до импликации называют основанием условного высказывания, а часть, расположенную за ней, — следствием. intuit.ru Для импликации справедливо утверждение, что из лжи может следовать всё что угодно, а из истины — только истина. examer.ru

Некоторые особенности импликации:

• Для импликации не действует переместительный закон: если в записи поменять местами переменные, то результат изменится. sites.google.com
• Чаще всего используется при решении логических задач. sites.google.com

Эквиваленция проверяет, одинаковы ли значения логических переменных. maximumtest.ru Если они одинаковы (1 и 1, 0 и 0), то выдаётся истина, если не одинаковы (1 и 0, 0 и 1) — ложь. maximumtest.ru

Некоторые особенности эквиваленции:

• Может быть выражена связками «тогда и только тогда», «необходимо и достаточно», «равносильно». videouroki.net examer.ru
• Противоположна сложению по модулю два. examer.ru
• Если в выражении есть и импликация, и эквиваленция, то они выполняются всегда после базовых логических операций в таком порядке: сначала импликация, потом — эквиваленция. maximumtest.ru