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

таблицу истинности достаточно сложно, так как приходится перебирать большое количество вариантов.
В таких случаях формулы удобно привести к нормальной форме.

и "ложь" ("0") — формулы.
Если А и В — формулы, то , , , , — формулы.
Никаких других формул в алгебре логики нет.

импликации;
двойного отрицания;
знаки отрицания находятся только при логических переменных.

правило де Моргана, сочетательный закон, правило операций переменной с её инверсией и правило операций с константами;

2.
Применяется правило де Моргана, выносится за скобки общий множитель, используется правило операций переменной с её инверсией;

крайних и два средних логических слагаемых, и используется закон поглощения;


4.
Сначала добиваемся, чтобы знак отрицания стоял только перед отдельными переменными, а не перед их комбинациями, для этого дважды применяем правило де Моргана; затем используем закон двойного отрицания;

неэлементарных формул применяется правило де Моргана; используются законы двойного отрицания и склеивания;

— первое с третьим и второе с четвертым, к дизъюнкции применяется правило операции переменной с её инверсией.