импликация через дизъюнкцию

Раскрытие импликации через дизъюнкцию и отрицание
easyinformatics.ru›ege/a10-ege-po-informatike

.А, то В». Импликация выражается через дизъюнкцию...
markx.narod.ru›bool/oslogop.htm

Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложеное выражение ложно.
Обозначение: F = A & BДизъюнкция - это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выраженныя ложны.
Обозначение: F = A + B.
Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО.
Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. Тоесть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием.
Эквивалентность - это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность..

конъюнкция это логическое умножение
дизъюнкция это логическое сложение
инверсия это отрицание
эквивалентность это логическое равенство
импликация это логическое следование
--------------
(конъюнкция, дизъюнкция, инверсия, импликация...
webmath.ru›poleznoe/tables_istinnosti.php