Пропозициональная формула
Пропозициональная формула Логика высказываний используется для анализа и упрощения высказываний. Логические операторы включают AND, OR, NOT, IMPLICATION, XOR и другие. […]
Вики
Булева алгебра
Вики
Булева функция
Логическая функция Булева алгебра — раздел математики, изучающий логические операции и функции. Логические операции включают конъюнкцию, дизъюнкцию, отрицание и другие.
Вики
Булева алгебра
Булева алгебра Булева алгебра — это алгебра, основанная на логике 0 и 1. Булевы операции включают конъюнкцию, дизъюнкцию и дополнение.
Вики
Исчисление высказываний
Логическое исчисление Логика высказываний — раздел логики, изучающий высказывания и их отношения. Высказывания могут быть истинными или ложными, и их