ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ
Табличный способ определения истинности сложного логического выражения имеет ограниченное применение, т. к. при увеличении числа логических переменных приходится перебирать слишком много вариантов. В таких случаях используют способ приведения формул к нормальной форме.
Нормальной формой называют формулу, если в ней используются только знаки конъюнкции, дизъюнкции и отрицания, при этом знаки отрицания находятся только при переменных, и двойное отрицание отсутствует.
ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ Закон Дизъюнкция Конъюнкция А / В = В / А А / В = В / А Переместительный (А/В)/С=А/(В/С) (А/В)/С=А/(В/С) Сочетательный Распределительный (А/В)/С=(А/С)/(В/С) (А/В)/С=(А/С)/(В/С) (А / В) = А / В (А / В) = А / В Де Моргана А / А = А А / А = А Идемпотентности А / А = 1 А / А = 0 Исключения 3 -го А / 1 = 1 А / 1 = А Операции с А / 0 = А А / 0 = 0 константами Поглощения А / (А/В) = А А / ( А/В) = А/В А / (А/В) = А А / ( А/В) = А/В Склеивания (А/В) / ( А/В) = В (А/В) / ( А/В) = В
ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ Закон двойного отрицания: ( А) = А Формулы замены операций: А → В = А / В А ↔ В = (А / В) / ( А / В) А ↔ В = ( А / В) / (А / В) А ↔ В = (А → В) / (В → А)
Скачать презентацию ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ Табличный способ определения истинности
ЗАКОНЫ.ppt