Словарь

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

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