Алгебра логики - область традиционной логики, а не математики:
Алгебра логики может быть применена в любой области человеческой деятельности:
Булевы переменные могут принимать только два значения:
В булевой алгебре закон гласит, что если два раза подряд применить операцию отрицания, то получится ноль:
Другое название операции дизъюнкции - логическое умножение:
Другое название операции конъюкции - логическое сложение:
Закон ассоциативности в алгебре логики полностью аналогичен закону ассоциативности в обычной алгебре чисел:
Законы Де Моргана позволяют менять операцию дизъюнкции на конъюнкцию, и наоборот:
Логическая функция от трех аргументов может иметь восемь значений:
Логическое отрицание - унарная операция:
Любую бинарную логическую операцию можно свести к единственной операции - импликации:
Операции булевой алгебры аналогичны обычным операциям алгебры чисел:
Операция конъюкции обладает свойством коммуникативности:
Принцип работы большинства компьютеров основан на булевой алгебре:
Свойство ассоциативности состоит в том, что операнды можно переставлять местами:
Существуют всего два основных правила получения новых формул алгебры логики:
Существуют всего четыре разных булевых функций с одним аргументом:
Унарная операция применяется только к одной переменной, константе или формуле: