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