Более быстрый доступ, чем браузер!
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 — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения.
Новый!!: Алгебра логики и Логика высказываний · Узнать больше »
Перенаправления здесь:
Алгебра высказываний, Бинарная логика, Булева логика, Двоичная логика, Двухзначность.
