Применение алгебры логики в информатике

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

Введение ………………………………………………………………………..3
1. Теоретическая часть………………………………………………………….4
1.1. Основные понятия. Логические операции 4
1.2. Логические выражения. Порядок логических операций 8
1.3. Основные законы алгебры логики 9
1.4. Табличное и алгебраическое задание булевских функций 10
1.5. Примеры применения алгебры высказываний в информатике 11
2. Практическая часть 17
2.1. Постановка задачи 18
2.2. Описание алгоритма решения задачи 20
Заключение 26
Список литературы…………………………………………………………….27