Це кон'юнкція – логічне множення (позначається ∧ або значком \(*\), або не позначається зовсім), диз'юнкція – логічне додавання (позначається ∨ або значком \(+\)) та інверсія – логічне заперечення (позначається або рисою над логічною змінною).
Для логічних змінних, що приймають лише два значення, існують 4 основні операції. Операція логічне "І" (AND) кон'юнкція або логічне множення, позначається * або /\. Операція логічне "АБО" (OR), диз'юнкція або логічне додавання, позначається + або \/.
Основні логічні символи
Символ | Назва | Символ LaTeX |
---|---|---|
∧ • & | кон'юнкція | \wedge або \land\& |
∨ + ǀǀ | логічна диз'юнкція | \lor або \vee |
⊕ ⊻ | виключне або | \oplus \veebar |
⊤ T 1 | Тавтологія | \top |