2.7 Алгебра логики. Понятие высказывания. Высказывательные формы (предикаты). Кванторы существования и всеобщности.Логические операции. Таблицы истинности. Логические выражения. Логические тождества. Логические операции и операции над множествами. Законы алгебры логики. Эквивалентные преобразования логических выражений. Логические уравнения и системы уравнений. Логические функции. Зависимость количества возможных логических функций от количества аргументов.Канонические формы логических выражений
1. Основные понятия Высказывание — утверждение, которое истинно (1) или ложно (0). Предикат — утверждение с переменными. Кванторы: Квантор Обозначение Пример Значение…