Теория:

В алгебре логики, как и в математике, есть свои обозначения для операций (действий).
 
Рассмотрим основные логические операции.
 
1. Логическое отрицание.
Отрицание (инверсия) — это логическая операция, которая делает ложное высказывание истинным, а истинное — ложным.
Обозначение: НЕ \(A\), not \(A\), ¬A, A¯.
 
Таблица истинности для инверсии.
 
\(A\)
A¯
\(0\)
\(1\)
\(1\)
\(0\)
 
2. Конъюнкция (логическое умножение).
Конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны.
Обозначение: И, and, &, \(×\), .
 
Таблица истинности.
 
\(A\)
\(B\)
AB
\(0\)
\(0\)
\(0\)
\(0\)
\(1\)
\(0\)
\(1\)
\(0\)
\(0\)
\(1\)
\(1\)
\(1\)
 
3. Дизъюнкция (логическое сложение).
Дизъюнкция двух высказываний ложна тогда и только тогда, когда оба высказывания ложны.
Обозначение: ИЛИ, or, \(+\), .
 
Таблица истинности.
 
\(A\)
\(B\)
AB
\(0\)
\(0\)
\(0\)
\(0\)
\(1\)
\(1\)
\(1\)
\(0\)
\(1\)
\(1\)
\(1\)
\(1\)
 
Приоритет выполнения логических операций:
  1. действия в скобках;
  2. инверсия;
  3. конъюнкция;
  4. дизъюнкция.