Логические операции

К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической логике (,,¬), неудобны, интуитивно непонятны и никак не проявляют аналогии с обычной алгеброй. Автор, к своему стыду, до сих пор иногда путает  и . Поэтому на его уроках операция «НЕ» обозначается чертой сверху, «И» – знаком умножения (поскольку это все же логическое умножение), а «ИЛИ» – знаком «+» (логическое сложение). В разных учебниках используют разные обозначения. К счастью, в начале задания ЕГЭ приводится расшифровка закорючек (,,¬), что еще раз подчеркивает проблему. Что нужно знать: • условные обозначения логических операций ¬ A, не A (отрицание, инверсия) A  B, A и B (логическое умножение, конъюнкция) A  B, A или B (логическое сложение, дизъюнкция) A → B импликация (следование) A  B эквивалентность (равносильность)