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

Приоритет логических операций:

1) инверсия 2) конъюнкция 3) дизъюнкция 4) импликация 5) эквивалентность

1. Конъюнкция: А ^ В или А ∙ В (логическое умножение, чита­ется как союз «и»)

А	В	А ^ В

2. Дизъюнкция: A v В или А + В (логическое сложение, чита­ется как союз «или»)

А	В	A v В

3. Отрицание: . Иногда отрицание называют функцией Вебба или функцией Даггера.

4. Импликация или логическое следование (читается: если А, то В). Обозначается А → В

А	В	А-> В

5. Эквиваленция, или тождественность: А↔В (А ~ В) (чита­ется: А тогда и только тогда, когда В)

A	B	А↔В

При решении логических задач используют приемы:

1. построение таблиц истинности;

2. решение логических уравнений.