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

• инверсия

  • логическое отрицание

  • ¬А,  "not A, не A"

• строгая дизъюнкция

  • A ⊕ B, A xor B

• конъюнкция

  • логическое умножение

  • A ∧ B, A&B, A · B,  A и B, A and B

• эквивалентность

  • A ↔ B, A ⇔ B,
    A ≡ B

• импликация

  • A → B, A ⇒ B

• дизъюнкция

  • логическое сложение

  • A ∨ B, A + B, A | B, A ИЛИ B, A or B