Формулы алгебры логики. Понятие высказывания. Основные логические операции пре