Aljabar Boolean adalah aljabar yang berlaku pada persamaan-persamaan atau
fungsi logika diskret. Beberapa teorema atau sifat penting aljabar Boolean yang d a p a t d i g u n a k a n u n t u k m e n y e d e r h a n a k a n p e r s a m a a n p e r s a m a a n l o g i k a d i antaranya adalah Sifat Asosiatif: