▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Таблица истинности логической операции: Полная таблица истинности показывает действие выбранной бинарной связки сразу для всех четырёх сочетаний аргументов. учебная проверка логических тождеств и сопоставление свойств NAND, NOR, XOR, импликации. Укажите значения и получите вычисление с контрольными примерами.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Подсчёт истинных значений в списке: Подсчёт числа единиц и нулей в последовательности булевых значений. подсчёт сработавших условий проверки, успешных испытаний и включённых флагов. Укажите значения и получите вычисление с контрольными примерами.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Проверка правила «если A, то B» по фактическим значениям условия и следствия: импликация как контроль соблюдения регламента, таблица и разбор типичных ошибок.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Логическое И (конъюнкция): Конъюнкция истинна, только когда одновременно истинны оба исходных условия. моделирование разрешения действия лишь при двух выполненных требованиях. Укажите значения и получите вычисление с контрольными примерами.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Логическая эквиваленция A ⇔ B: Эквиваленция истинна, когда оба значения совпадают: оба ложные или оба истинные. сравнение двух логических индикаторов на равенство состояний. Укажите значения и получите вычисление с контрольными примерами.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Логическая импликация A ⇒ B: Материальная импликация ложна лишь тогда, когда из истинной предпосылки следует ложное заключение. проверка формальных правил вида «если условие A, то требование B». Укажите значения и получите вычисление с контрольными примерами.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Штрих Шеффера (NAND): Штрих шеффера даёт ложь лишь для двух истинных аргументов и является отрицанием конъюнкции. анализ логических схем на элементах NAND, из которых можно строить другие связки. Укажите значения и получите вычисление с контрольными примерами.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Стрелка Пирса (NOR): Стрелка пирса истинна только при одновременной ложности обеих посылок. построение логических схем на элементах NOR и отрицание условия «хотя бы одно». Укажите значения и получите вычисление с контрольными примерами.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Логическое НЕ (отрицание): Отрицание заменяет истинность высказывания противоположным значением: 0 превращается в 1, а 1 в 0. проверка условия «не выполнено» в алгоритмах и булевых выражениях. Укажите значения и получите вычисление с контрольными примерами.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Логическое ИЛИ (дизъюнкция): Дизъюнкция истинна, когда истинно хотя бы одно из двух условий, включая случай выполнения обоих. моделирование оповещения по любой из двух возможных причин. Укажите значения и получите вычисление с контрольными примерами.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Исключающее ИЛИ (XOR): Исключающее или показывает отличие двух логических состояний и становится ложным при их совпадении. обнаружение несовпадения двух флагов и вычисление бита чётности. Укажите значения и получите вычисление с контрольными примерами.
▦МАТЕМАТИЧЕСКАЯ ЛОГИКА
Логическая модель лампы с двумя переключателями: исключающее ИЛИ по положениям 0 и 1, таблица состояний и разбор примеров управления светом из двух мест.