Некоторые математические символы, которые используются в логических операциях:

• ∧ (конъюнкция). 34 Утверждение A ∧ B истинно, если и A, и B истинны, и ложно в противном случае. 3
• ∨ (логическая дизъюнкция). 34 Утверждение A ∨ B верно, если A или B (или оба) верны. 3 Если оба не верны, утверждение неверно. 3
• ¬ (логическое отрицание). 25 Утверждение ¬A истинно тогда и только тогда, когда A ложно. 5
• ⊕ (исключающее «или»). 25 Утверждение A ⊕ B верно, когда либо A, либо B верно, но не оба. 5