Теоретический материал.
условные обозначения логических операций
¬ A, не A (отрицание, инверсия) - инверсия истинна, когда высказывание ложно;
A & B, A ^ B, A и B (логическое умножение, конъюнкция) - конъюнкция истинна, когда истинны все входящие в нее высказывания;
A v B, A или B (логическое сложение, дизъюнкция) - дизъюнкция истинна, если истинно хотя бы одно из входящих в нее высказываний;
A → B импликация (следование) - импликация ложна. когда посылка истинна, а заключение ложно (1 → 0 = 0);
A = B эквивалентность (равносильность)
Приоритет логических операций:
1. инверсия
2. конъюнкция
3. дизъюнкция
4. импликация
5. эквиваленция
Формулы:
A → B = ¬ A v B или в других обозначениях
¬ (A v B) = ¬ A & ¬ B
¬ (A & B) = ¬ A v ¬ B
Видеоразбор ЕГЭ 2
Видеоразбор ЕГЭ 15 (делители)