Содержание модуля:

Тема 1.1. Алгебра высказываний. Формулы логики.

Тема 1.2. Булевы функции.

Тема 1.3. Полнота функций алгебры логики.