Эти выражения можно упрощать, используя законы булевой алгебры, такие как дистрибутивность, ассоциативность, коммутативность, идемпотентность и поглощение.
Примечание: Символ «·» обозначает логическое «И» (AND), а «+» обозначает логическое «ИЛИ» (OR). Ā означает логическое отрицание (NOT) A.