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