Основы логики. Логические выражения и таблицы истинности. Алгоритм построения таблиц истинности логических выражений