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

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

Тема 1.2. Нормальные формы формул алгебры высказываний