Содержание
18 отношения: Карта Карно, Казанский университет, Коммутативная операция, Порецкий, Платон Сергеевич, Ассоциативная операция, Функциональная полнота, Идемпотентность, Инволюция (математика), Закон двойного отрицания, Законы де Моргана, Буль, Джордж, Булева функция, Булева алгебра, Битовые операции, Высказывание (логика), Дистрибутивность, Литерал (математическая логика), Логика высказываний.
- Булева алгебра
Карта Карно
Пример куба Карно Куб Карно́ — графический способ минимизации переключательных (булевых) функций, обеспечивающий относительную простоту работы с большими выражениями и устранение потенциальных гонок.
Посмотреть Алгебра логики и Карта Карно
Казанский университет
Каза́нский (Приво́лжский) федера́льный университе́т — высшее учебное заведение Казани, один из десяти российских федеральных университетов, один из старейших и третий (после Санкт-Петербургского и Московского) университет России.
Посмотреть Алгебра логики и Казанский университет
Коммутативная операция
Первое известное использование термина коммутативность: фрагмент французского журнала «Annales de Gergonne», выпускавшегося с 1810 по 1832 годы, выпуск 1814-15 Пример, показывающий коммутативность сложения (3 + 2.
Посмотреть Алгебра логики и Коммутативная операция
Порецкий, Платон Сергеевич
Платон Сергеевич Порецкий (Елисаветград —, село Жоведь, Черниговская область) — русский астроном, математик.
Посмотреть Алгебра логики и Порецкий, Платон Сергеевич
Ассоциативная операция
Ассоциати́вная опера́ция — это бинарная операция \circ, обладающая ассоциативностью (associatio — соединение), или сочетательностью: Для ассоциативной операции результат вычисления x_1\circ x_2\circ\ldots\circ x_n не зависит от порядка вычисления (расстановки скобок), и потому позволяется опускать скобки в записи.
Посмотреть Алгебра логики и Ассоциативная операция
Функциональная полнота
Функциональная полнота множества логических операций или булевых функций — это возможность выразить все возможные значения таблиц истинности с помощью формул из элементов этого множества.
Посмотреть Алгебра логики и Функциональная полнота
Идемпотентность
Идемпоте́нтность — свойство объекта или операции при повторном применении операции к объекту давать тот же результат, что и при первом.
Посмотреть Алгебра логики и Идемпотентность
Инволюция (математика)
Инволюция (от involutio — свёртывание, завиток) — преобразование, которое является обратным самому себе.
Посмотреть Алгебра логики и Инволюция (математика)
Закон двойного отрицания
Зако́н двойно́го отрица́ния — положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то А верно».
Посмотреть Алгебра логики и Закон двойного отрицания
Законы де Моргана
Диаграммы Венна, описывающие законы де Моргана Представление правил де Моргана через логические элементы Законы де Мо́ргана (правила де Мо́ргана) — логические правила, связывающие пары логических операций при помощи логического отрицания.
Посмотреть Алгебра логики и Законы де Моргана
Буль, Джордж
Джордж Буль (George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик.
Посмотреть Алгебра логики и Буль, Джордж
Булева функция
Бу́лева фу́нкция (или логи́ческая функция, или функция а́лгебры ло́гики) от n аргументов — в дискретной математике — отображение Bn → B, где B.
Посмотреть Алгебра логики и Булева функция
Булева алгебра
Булевой алгеброй называется непустое множество A с двумя бинарными операциями \land (аналог конъюнкции), \lor (аналог дизъюнкции), одной унарной операцией \lnot (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для любых a, b и c из множества A верны следующие аксиомы: \begin & a+(b+c).
Посмотреть Алгебра логики и Булева алгебра
Битовые операции
Би́товая опера́ция в программировании — некоторые операции над цепочками битов.
Посмотреть Алгебра логики и Битовые операции
Высказывание (логика)
Выска́зывание — в математической логике предложение, выражающее суждение.
Посмотреть Алгебра логики и Высказывание (логика)
Дистрибутивность
Дистрибути́вность (от distributivus «распределительный»), также распределительный закон — свойство согласованности двух бинарных операций, определённых на одном и том же множестве.
Посмотреть Алгебра логики и Дистрибутивность
Литерал (математическая логика)
В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание.
Посмотреть Алгебра логики и Литерал (математическая логика)
Логика высказываний
Логика высказываний, или пропозициональная логика (propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения.
Посмотреть Алгебра логики и Логика высказываний
См. также
Булева алгебра
- R-функция
- Аксиома Вольфрама
- Алгебра логики
- Алгебра множеств
- Бент-функция
- Бинарная диаграмма решений
- Бинарная матрица
- Битовая операция
- Булева алгебра
- Булева функция
- Булево кольцо
- Буль, Джордж
- Задача выполнимости булевых формул
- Законы де Моргана
- Карта Карно
- Конъюнктивный одночлен
- Логика высказываний
- Логический тип
- Логическое выражение
- Мажоритарный элемент
- Метод Куайна — Мак-Класки
- Метод Петрика
- Объединение множеств
- Полином Жегалкина
- Разложение Шеннона
- Сбалансированная булева функция
- Сигма-алгебра
- Симметричная булева функция
- Таблица истинности
- Теорема Стоуна о представлении булевых алгебр
- Теорема согласованности
- Функциональная полнота
Также известен как Алгебра высказываний, Бинарная логика, Булева логика, Двухзначность.