Практическая часть.

1. Выполнить минимизацию СДНФ или КСНФ, заданных ФАЛ:

используя законы алгебры логики

графический метод минимизации

2. Выполнить решение заданных ФАЛ с помощью законов алгебры логики.

***Примечание: если преобразования и минимизация выполнены верно, в результате выполнения пп 1 и 2 должен получиться одинаковый результат

Законы булевой алгебры

1. Переместительный закон

2. Сочетательный закон

3. Распределительный закон

4. Закон нулевого множества

5. Закон универсального множества

6. Закон повторения

Правило приведения подобных членов в выражении:

7. Закон поглощения

8. Законы для инверсии

а) Закон дополнения б) Закон склеивания

в) Закон двойного отрицания г) Правило вычеркивания

или

г) Правило де-Моргана (или)

(или )

Следствие: правило де-Моргана - Шеннона: Для того, чтобы взять отрицание от какого-либо выражения, надо все знаки логического сложения заменить знаками логического умножения, все знаки логического умножения заменить знаками логического сложения, и взять отрицания всех членов выражения.

Выражение одних элементарных функций через другие: