Предлагаемый текст - это справочник по булевой алгебре (алгебре логики). В отличии от учебника, здесь нет доказательств, упражнений и мало пояснений, но больше формул, таблиц и сведений энциклопедического характера.

Для чтения "off-line" можно скачать весь справочник целиком в виде архива. После разархивации для начала просмотра запустите файл "bool.bat" или откройте в браузере файл "bool/bool.htm".

Алгебра логики (другое название - Булева алгебра) - это область математики. Она оперирует величинами, которые могут принимать два значения (булевых значения). Эти два значения могут быть обозначены как угодно, лишь бы по-разному. Самые распространенные варианты:
0,1
F,T
false,true
ложь,истина
Л,И

Первое практическое применение булевой алгебры - в вычислительной технике. В этом случае булевы значения - это 0 и 1. Они представляют собой состояние ячейки памяти объемом в 1 бит или наличие/отсутствие напряжения в электрической схеме. Алгебра логики позволяет строить сложные электронные узлы, элементы которых работают согласно этой математической теории.

Второе практическое применение булевой алгебры - в логических построениях в математике. В этом случае булевы значения - это "ложь" и "истина". Они определяют истинность или ложность некоторого высказывания. Под высказываниями понимаются математические формулы.

Третье практическое применение булевой алгебры - в повседневных рассуждениях. В этом случае булевы значения - это также "ложь" и "истина". Они представляют собой оценку истинности или ложности некоторого высказывания. Под высказываниями понимаются фразы, которые удовлетворяют строго определенному списку свойств.