Высказывания и операции
Высказывание: истинно (T) или ложно (F). Операции: ¬ (отрицание), ∧ (конъюнкция, И), ∨ (дизъюнкция, ИЛИ), → (импликация), ↔ (эквивалентность). Таблицы истинности. Законы: коммутативность, ассоциативность, дистрибутивность, де Моргана. Тавтология: всегда истинно. Противоречие: всегда ложно.
Высказывания и операции
Таблицы истинности и эквивалентности
Таблицы истинности дают полный способ проверки формул пропозициональной логики. Через эквивалентные преобразования упрощают выражения и готовят их к автоматизированной верификации.
Нормальные формы CNF и DNF
Преобразование формул к нормальным формам упрощает автоматическую проверку, SAT-решение и доказательные процедуры. Важен контроль эквивалентности при исключении импликаций и отрицаний.