Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
соответствует оборотам речи «или..., или...» или «либо..., либо...», и обозначается A ⊕ B
Таблица истинности для дизъюнкции
Рисунок 2....
дизъюнкция или сложение по модулю 2 ( в теории множеств это объединение двух множеств без их пересечения...
)
Строгая дизъюнкция истинна, если значения аргументов не равны....
Таблица истинности для операции сложения по модулю два
Рисунок 6....
и строгая дизъюнкция (логическое сложение);
Импликация (следствие);
Эквивалентность (тождество).
Этот метод хорош для уравнений, содержащих 2-3 логические переменные....
логическое сложение, «или»)....
Если аргументы разные по истинностной характеристике, то эквивалентность ложна;
строгая дизъюнкция (исключающее...
«или», сложение по модулю 2)....
Дизъюнкция и строгая дизъюнкция.
Импликация и эквивалентность.
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
1. если функция непрерывна в ограниченной замкнутой области, то она равномерно непрерывна в этой области; 2. множество, состоящее из всех подмножеств данного непустого множества M (булеан), не эквивалентно ни самому M, ни его подмножеству
порождающая грамматика