Содержание
17 отношения: T-норма и t-конорма, Критерий Поста, Карта Карно, Принцип двойственности, Алгебра логики, Навья-ньяя, Разность множеств, Тавтология (логика), Темпоральная логика, Теорема согласованности, Формула включений-исключений, Морган, Морган, Огастес де, Закон Клавия, Логический вентиль, Логические элементы, Логика.
T-норма и t-конорма
t-нормой и t-конормой называются ассоциативные и коммутативные бинарные операции на L.
Посмотреть Законы де Моргана и T-норма и t-конорма
Критерий Поста
Критерий Поста — одна из центральных теорем в теории булевых функций, устанавливающая необходимое и достаточное условие для того, чтобы некоторый набор булевых функций обладал достаточной выразительностью, чтобы представить любую булеву функцию.
Посмотреть Законы де Моргана и Критерий Поста
Карта Карно
Пример куба Карно Куб Карно́ — графический способ минимизации переключательных (булевых) функций, обеспечивающий относительную простоту работы с большими выражениями и устранение потенциальных гонок.
Посмотреть Законы де Моргана и Карта Карно
Принцип двойственности
Принцип двойственности — наименование различных вариантов и проявлений феномена двойственности в разных разделах математики.
Посмотреть Законы де Моргана и Принцип двойственности
Алгебра логики
Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями.
Посмотреть Законы де Моргана и Алгебра логики
Навья-ньяя
Навья-ньяя (नव्य न्याय, «новая ньяя», «новый метод рассуждения») — бенгальская школа логики, сформировавшаяся в XIII веке в рамках философского направления ньяя и процветавшая в Митхиле и Бенгалии до конца XIX века.
Посмотреть Законы де Моргана и Навья-ньяя
Разность множеств
right Разность двух множеств — теоретико-множественная операция, результатом которой является множество, в которое входят все элементы первого множества, не входящие во второе множество.
Посмотреть Законы де Моргана и Разность множеств
Тавтология (логика)
Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов.
Посмотреть Законы де Моргана и Тавтология (логика)
Темпоральная логика
Темпоральная логика (temporal logic) — это логика, в высказываниях которой учитывается временной аспект.
Посмотреть Законы де Моргана и Темпоральная логика
Теорема согласованности
В булевой алгебре, теорема согласованности — это следующее тождество: Доказательство этой теоремы: Дуальное представление этого же уравнения.
Посмотреть Законы де Моргана и Теорема согласованности
Формула включений-исключений
Формула включений-исключений (или принцип включений-исключений) — комбинаторная формула, позволяющая определить мощность объединения конечного числа конечных множеств, которые в общем случае могут пересекаться друг с другом.
Посмотреть Законы де Моргана и Формула включений-исключений
Морган
Мо́рган (Morgan) — распространенное английское имя, часто встречающееся также в качестве фамилии.
Посмотреть Законы де Моргана и Морган
Морган, Огастес де
Огастес (Август) де Мо́рган (Augustus de Morgan,,, Индия —, Лондон) — шотландский математик и логик, профессор математики в Университетском колледже Лондона (1828—1831, 1836—1866).
Посмотреть Законы де Моргана и Морган, Огастес де
Закон Клавия
Закон Клавия — логический закон, связывающий импликацию («если, то») и отрицание.
Посмотреть Законы де Моргана и Закон Клавия
Логический вентиль
alt.
Посмотреть Законы де Моргана и Логический вентиль
Логические элементы
Логические элементы — устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого — «1» и низкого — «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике, последовательностями «0», «1», «2», «3», «4», «5», «6», «7», «8» и «9» в десятичной логике).
Посмотреть Законы де Моргана и Логические элементы
Логика
гроте изображён Парменид, с которым логическая аргументация проложила себе путь в философию. Ло́гика (λογική — «наука о правильном мышлении», «способность к рассуждению» от λόγος — «рассуждение», «мысль», «разум») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке.
Посмотреть Законы де Моргана и Логика
Также известен как Правила де Моргана, Закон де Моргана, Законы Моргана.