Данная контрольная работа предназначена для студентов средних специальных учебных заведений, обучающихся по специальности «Информационные системы».

Работа включает задания по темам:

1.      Понятие высказывания. Виды высказываний.

2.      Логические операции над высказываниями.

3.      Составление таблиц истинности составных высказываний.

4.      Формулы алгебры логики. Составление их значений.

5.      Равносильные, тождественно истинные и тождественно ложные формулы алгебры логики.

6.      Основные равносильности. Тавтологии.

7.      Законы логических операций. Закон двойственности.