Фонограмма и ее временная дискретизация

Вопрос №5

Основные понятия, элементы и формы Булевой алгебры

Логическая переменная – это переменная, которая может принимать одно из двух значений ноль и единица (истина или ложь).

Логическая константа – это константа (постоянная величина) которая может принимать значение ноль или единица (истина или ложь).

Логическая функция – это функция, которая может принимать два значения ноль и единица (истина или ложь).

Логические операции

Логические операции булевой алгебры подобны арифметическим операциям элементарной алгебры. Если последние применяются к числам, то первые — к логическим значениям соответствующих высказываний. Составные высказывания можно получать с помощью логических операций так же, как в элементарной алгебре — формулы. И, если известны значения исходных высказываний, значение составного высказывания можно вычислить, прибегая лишь к формальным правилам. Уравнения, составленные в алгебре логики можно формально решать. Все это обеспечивает широкие возможности по применению математического аппарата к суждениям из реальной жизни (там, где не хватает аппарата булевой алгебры, применяются более сложные методы математической логики, в частности, исчисление предикатов первого порядка и др.).

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