Название работы	Кол-во страниц	Размер
Урок 1 Тема урока : «Правила тб. Основные логические операции.	1	176.93kb.
Урок-коллоквиум Тема: "Основы логики"	1	12.99kb.
Правила вывода значений атрибутов. Типы правил их назначение.	1	33.62kb.
Законы логики и правила преобразования логических выражений	1	84.33kb.
Неклассические логические элементы и квантовые компьютеры	1	59.08kb.
На день, а обычно за день предстоит сделать многое. Школа, по словам...	1	95.46kb.
Законы идемпотентности 11 a V a = a 12 a  a = a законы коммутативности	1	62.53kb.
Общие экономические законы	1	94.33kb.
Алгебра логики и логические основы компьютера Алгебра логики	1	39.45kb.
Конспект открытого урока	1	99.72kb.
Архитектуры вс. Вычислительные и логические возможности	1	91.77kb.
Решение Для решения задачи можно применить несколько различных подходов	1	137.81kb.
Викторина для любознательных: «Занимательная биология»	1	9.92kb.

Логические законы и правила

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

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

      Для приведения формулы к нормальной форме используют законы логики и правила логических преобразований.

Примеры упрощения логических формул:

1)  
(повторяется второй сомножитель, что разрешено законом идемпотенции; затем комбинируются два первых и два последних сомножителя и используется закон склеивания);

2)  
(вводится вспомогательный логический сомножитель (); затем комбинируются два крайних и два средних логических слагаемых и используется закон поглощения);

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

4)  
(выносятся за скобки общие множители; применяется правило операций с константами);