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

Логические операции – мыслительные действия, результатом которых является понимание смысла либо изменение содержания или объёма понятий и суждений, а также образование новых понятий и суждений.

Основные логические операции:
    1) определение;
    2) отрицание (¬, НЕ, NOT);
    3) ограничение;
    4) обобщение;
    5) логическое сложение, дизъюнкция (∨, «включающее ИЛИ», OR);
    6) логическое умножениеконъюнкция  (∧, И, AND);
    7) логическое вычитание (⊕, «исключающее ИЛИ», XOR);
    8) логическое деление;
    9) логическое следованиеимпликация (→, «ЕСЛИ..., ТО...», IF);
  10) логическое отождествление, эквиваленция (≡, тождественно, :=).

» Словарь