Основные понятия алгебры логики. Основные логические операции. Бинарная логика. Логические основы ЭВМ

Высказывание – некоторое предложение, о котором можно утверждать, что оно истинно или ложно. Например, высказывание "Земля – это планета Солнечной системы" истинно, а о высказывании "на улице идет дождь" можно сказать, истинно оно или ложно, если указаны дополнительные сведения о погоде в данный момент. Любое высказывание можно обозначить символом x и считать, что x=1, если высказывание истинно, а x=0 – если высказывание ложно. Логическая (булева) переменная – такая величина x, которая может принимать только два значения: x= {0,1}.