В дискретной математике для работы с логическими операторами используют булевы операции — специальные правила, которые определяют, как сочетать высказывания и проверять, истинно ли сложное утверждение. 4

Некоторые булевы операции и их правила:

• Отрицание (NOT). 4 Изменяет логическое значение высказывания на противоположное. 4
• Конъюнкция. 15 «И». 1
• Дизъюнкция. 15 «ИЛИ». 15
• Импликация. 15 «Если…то». 5
• Эквивалентность. 15 Истинное значение, когда истинностные значения двух высказываний совпадают, и ложное в противном случае. 5

Порядок выполнения операций при отсутствии скобок: 5

1. Отрицание. 5
2. Конъюнкция. 5
3. Дизъюнкция. 5
4. Импликация. 5
5. Эквивалентность. 5

Если в выражении есть скобки, то сначала выполняются действия в них. 1 Отрицание над несколькими переменными также можно рассматривать как скобки. 1