Рубрика
Основы алгебры логики
Основы алгебры логики
Булевы функции от n переменных
Булева функция от n переменных принимает значения «истина» или «ложь» в зависимости от значений входных переменных. Она используется для описания логических…
04.09.2016 Читать →
Основы алгебры логики
Логические следствия
Логическое следствие возникает, когда истинность одних высказываний гарантирует истинность других. Правила вывода позволяют строить цепочки рассуждений,…
04.09.2016 Читать →
Основы алгебры логики
Равносильные формулы алгебры высказываний
Равносильные формулы позволяют заменять одни логические выражения другими без изменения их истинностного значения. Это используется для упрощения сложных…
04.09.2016 Читать →
Основы алгебры логики
Логические операции над высказываниями
Логические операции позволяют строить сложные высказывания из простых, формализуя логику рассуждений. Конъюнкция соответствует логическому «И», дизъюнкция —…
04.09.2016 Читать →