Что нужно знать:
- условные обозначения логических операций
¬ A, не A (отрицание, инверсия)
A Ù B, A и B (логическое умножение, конъюнкция)
A Ú B, A или B (логическое сложение, дизъюнкция)
A → B импликация (следование)
A º B эквивалентность (равносильность)
- операцию «импликация» можно выразить через «ИЛИ» и «НЕ»:
A → B = ¬ A Ú B или в других обозначениях A → B =