Логика, высказывания, переменные

Алгебра логики изучает логические высказывания и операции над ними.

Рекомендуем повторить этот урок, поскольку в нём содержится много информации по теме:

Д.Буль является основоположников алгебры логики. Это важный факт, поскольку в языках программирования повсеместно встречаются булевы значения (логический тип данных, работающий по данной логике) и команды, основанные на этой логике.

Основа логики лежит в (элементарном) высказывании, которому мы можем приписать истинность или ложность:

1 + 2 = 8 - это ЛОЖЬ = Л = false = нет = 0 = высказывание неверно

1 + 2 = 3 - это ИСТИНА = И = true = да = 1 = высказывание верно

Из высказываний мы можем строить логические связки (сложные высказывания), с помощью: И, ИЛИ, НЕ, ЕСЛИ…ТО, ТОГДА и ТОЛЬКО ТОГДА и др. Например:

1 + 2 = 8 ИЛИ 1 + 2 = 3 является ИСТИНОЙ

Для удобства, каждое выражение обозначается переменной (логической переменной):

А = 1 + 2 = 8

B = 1 + 2 = 3

И с этим уже проще составлять логические связки:

А ИЛИ B является ИСТИНОЙ