Boolean algebra

Вики

Булева алгебра (структура)

/

Булева алгебра (структура) Булева алгебра – алгебра с двумя операциями: конъюнкция (∧) и дизъюнкция (∨).  Основные аксиомы булевой алгебры включают

Вики

Союз (теория множеств)

/

Объединение (теория множеств) Объединение множеств является фундаментальной операцией, позволяющей связать множества друг с другом.  Объединение двух множеств содержит элементы из

Вики

Таблица истинности

/

Таблица истинности Таблицы истинности используются для представления логических функций и операций.  Таблицы истинности состоят из строк и столбцов, где каждая

Вики

Пропозициональная формула

/

Пропозициональная формула Логика высказываний используется для анализа и упрощения высказываний.  Логические операторы включают AND, OR, NOT, IMPLICATION, XOR и другие. 

Вики

Булева функция

/

Логическая функция Булева алгебра – раздел математики, изучающий логические операции и функции.  Логические операции включают конъюнкцию, дизъюнкцию, отрицание и другие. 

Вики

Булева алгебра

/

Булева алгебра Булева алгебра – это алгебра, основанная на логике 0 и 1.  Булевы операции включают конъюнкцию, дизъюнкцию и дополнение. 

Вики

Исчисление высказываний

/

Логическое исчисление Логика высказываний – раздел логики, изучающий высказывания и их отношения.  Высказывания могут быть истинными или ложными, и их