Алгебра Буля

Исторически первый раздел математической логики, разработанный ирландским логиком и математиком Дж. Булем в середине XIX в. Буль применил алгебраические методы для решения логических задач и сформулировал на языке алгебры некоторые фундаментальные законы мышления. Буль представляет логику как алгебру классов (будем обозначать их символами А, В, С,...). Основными операциями в А. Б. являются: сложение классов AA.B; умножение классов ААВ; дополнение класса А&. Свойства этих операций описываются следующими аксиомами: la. Al(B(C)=(ACB) BC — ассоциативность сложения; 16. A1(B(C)= (ACВ) ВC — ассоциативность умножения; 2a.A2B= BBA