Содержание

Введение ………………………………………………………………..5

§1. Высказывания и операции над ними ……………………………..6

§2. Формулы алгебры высказываний. Виды формул ……………….10

§3. Логическое следствие ……………………………………………..16

§4. Равносильность формул алгебры высказываний ………………..19

§5. Нормальные формы для формул алгебры высказываний ………21

§6. Булевы функции (функции алгебры логики) …………………… 35

§7. Алгебра логики и релейно-контактные схемы …………………. 41

§8. Особые методы минимизации……………………………………. 46

Примерные варианты контрольных работ…………………………....58

Ответы………………………………………………………………….. 61