Формализация.

Решение задач с помощью таблицы истинности.

Решение простейших задач с помощью аппарата алгебры логики.