В чем заключается метод преобразования импликации при анализе логических выражений?

Метод преобразования импликации при анализе логических выражений заключается в упрощении логических выражений с помощью замены операции импликации на другие логические операции. dzen.ru resh.edu.ru

Обычно при таком преобразовании импликация меняется на логическое «ИЛИ» (дизъюнкцию), а у первого операнда изменяется знак на «логическое НЕ». dzen.ru

Для преобразования логических выражений используют свойства логических операций, которые иначе называют законами алгебры логики. sites.google.com

Импликация — сложное логическое выражение, которое истинно во всех случаях, кроме того, когда из истины следует ложь. skyteach.ru То есть это логическая операция, которая связывает два простых логических выражения, из которых первое (А) является условием, а второе (В) — следствием. skyteach.ru