Тема: Логические основы работы компьютера. Булева алгебра. Основные законы и подходы
Цель: рассмотреть логические законы и правила преобразования логических выражений; научить использовать логические законы и правила преобразования логических выражений при решении задач.
План:
Закон двойного отрицания;
Переместительный закон;
Сочетательный закон;
Распределительный закон;
Закон общей инверсии;
Закон идемпотентности;
Закон исключения констант;
Закон противоречия; закон исключения третьего;
Закон поглощения;
Закон исключения;
Закон контрапозиции.
Задания для самостоятельного выполнения № 3-7.
Логические основы компьютера
Задания для самостоятельного выполнения № 12-17.
Отчет о проделанной работе.
Логические выражения называются равносильными, если их истинностные значения совпадают при любых значениях входящих в них логических переменных.
В алгебре логики имеется ряд законов, позволяющих производить равносильные преобразования логических выражений. Приведем соотношения, отражающие эти законы.
1. Закон двойного отрицания:
Двойное отрицание исключает отрицание.
2. Переместительный (коммутативный) закон:
— для логического сложения:
A B = BA;
— для логического умножения:
А&В = В&А.
Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.
В обычной алгебре а + b = b + а, а  b = b а.
3. Сочетательный (ассоциативный) закон:
— для логического сложения:
(AB) C = A(BC);
— для логического умножения:
(А&В)&С = А&(В&С).
При одинаковых знаках скобки можно ставить произвольно или вообще опускать.
В обычной алгебре (а + b) + с = а + (b + с) = а + b + с,
(а b) с = а (b с) = а b с.
Достарыңызбен бөлісу: | 
