Оглавление

ВЫСКАЗЫВАНИЯ И ЛОГИЧЕСКИЕ СВЯЗКИ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

УСЛОВНЫЕ ВЫСКАЗЫВАНИЯ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6

ЭКВИВАЛЕНТНЫЕ ВЫСКАЗЫВАНИЯ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9

АКСИОМАТИЧЕСКИЕ СИСТЕМЫ: УМОЗАКЛЮЧЕНИЯ И ДОКАЗАТЕЛЬСТВА. .13

ПОЛНОТА В ЛОГИКЕ ВЫСКАЗЫВАНИЙ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .21

КАРТЫ КАРНО . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .25

КОММУТАЦИОННЫЕ СХЕМЫ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

Задания к контрольным и расчетно графическим работам . . . . . . .36

Пример выполнения задания . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36