Алгебра логики — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Реле́ — электричекий силовой, слаботочный или иной элемент автоматических устройств, который при воздействии на него внешних физических явлений скачкообразно принимает конечное число значений выходной величины. Реле отличается от релейного устройства, которое может быть автономным — без воспринимающих устройств, за исключением пусковых ключей.
Конъю́нкция — логическая операция, по смыслу максимально приближенная к союзу «и». Синонимы: логи́ческое «И», логи́ческое умноже́ние, иногда просто «И».
Дизъю́нкция, логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».
Джордж Буль — английский математик и логик. Профессор математики Королевского колледжа Корка с 1849 года. Один из основателей математической логики.
Логи́ческий тип да́нных, или булев тип, или булевый тип — примитивный тип данных в информатике, принимающий два возможных значения, иногда называемых истиной (true) и ложью (false). Присутствует в подавляющем большинстве языков программирования как самостоятельная сущность или реализуется через численный тип данных. В некоторых языках программирования за значение истина полагается 1, за значение ложь — 0.
Джон Венн — английский логик и философ. Он известен тем, что ввёл диаграммы Эйлера — Венна, которые используются во многих областях, таких как теория множеств, теория вероятностей, логика, статистика и информатика.
Стре́лка Пи́рса — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Чарльзом Пирсом в 1880—1881 годах.
Отрица́ние в логике — унарная операция над суждениями, результатом которой является суждение, «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением.
Штрих Ше́ффера — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Генри Шеффером в 1913 году.
Time — американский еженедельный журнал и информационный портал со штаб-квартирой в Нью-Йорке. Впервые номер журнала вышел в Нью-Йорке 3 марта 1923 года; долгие годы журнал издавался одним из его основателей, Генри Люсом. В Лондоне выходит европейская версия Time Europe, которая освещает события стран Европы, Ближнего Востока, Африки, а с 2003 года и Латинской Америки. В Гонконге выпускается азиатская версия Time Asia. В Сиднее выходит версия журнала для Австралии, Новой Зеландии и Тихоокеанского региона. До декабря 2008 года выходила также канадская версия Time Canada.
Логи́ческий ве́нтиль — базовый элемент цифровой схемы, выполняющий элементарную логическую операцию, преобразуя таким образом множество входных логических сигналов в выходной логический сигнал. Логика работы вентиля основана на битовых операциях с входными цифровыми сигналами в качестве операндов. При создании цифровой схемы вентили соединяют между собой, при этом выход используемого вентиля должен быть подключён к одному или к нескольким входам других вентилей. В настоящее время в созданных человеком цифровых устройствах доминируют электронные логические вентили на базе полевых транзисторов, однако в прошлом для создания вентилей использовались и другие устройства, например, электромагнитные реле, гидравлические устройства, а также механические устройства. В поисках более совершенных логических вентилей исследуются квантовые устройства, биологические молекулы, фононные тепловые системы.
Аксиома Вольфрама является результатом исследований, осуществлённых Стивеном Вольфрамом при поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры. Результатом его поиска стала аксиома с шестью логическими операциями «НЕ-И» и тремя переменными, которая эквивалентна булевой алгебре:
- ( | c) | = c
Функциональная полнота множества логических операций или булевых функций — это возможность выразить все возможные значения таблиц истинности с помощью формул из элементов этого множества. Математическая логика обычно использует такой набор операций: конъюнкция, дизъюнкция, отрицание, импликация и эквиваленция. Это множество операций является функционально полным. Но оно не является минимальной функционально полной системой, поскольку:
Ге́нри — округ в штате Алабама, США. Население по переписи 2020 года — 17 146 человек. Административный центр — Аббевилл.
В логике обычно используется много символов для выражения логических сущностей. Поскольку логики знакомы с этими символами, они не объясняют их каждый раз при использовании. Для студентов, изучающих логику, следующая таблица перечисляет большинство общеупотребимых символов вместе с их именами и связанными областями математики. Кроме того, третий столбец содержит неформальное определение, шестой и седьмой дают код Unicode и имя для использования в HTML документах. Последний столбец даёт символ в системе LaTeX.
Крэйг Эрик Шеффер — американский актер кино и телевидения. Он известен своими главными ролями Нормана Маклина в фильме «Там, где течёт река», Аарона Буна в фильме «Ночной народ» и Кита Скотта в телесериале «Холм одного дерева».
