George Boole tarafından geliştirilen Boolean Matematiği, elektrik anahtarlama devrelerine uygulanışı açıklayan bir matematik mantığıdır.

Bu matematiğin getirisi devre çizilmeden, devre üzerinde anahtarlama fonksiyonlarının incelenebilmesidir.

Mantık devre çizimcileri, dizaynın birinci aşamasında yaşanan problemleri boolean kurallarıyla çözerler.

Kuralları 

• 0x0 = 0
• 1x1 = 1
• 1x1 = 0, 0.1 = 0
• 0+0 = 0
• 1+1 = 1
• 1+0 = 1,
• 0+1 = 1

Bu kurallardan da anlaşılacağı üzere birinci, ikinci ve üçüncü kural And kapısı olarak ifade edilen "Ve Kapısı" işlemini, dördüncü, beşinci ve altınca ise Or kapısı olarak ifade edilen "Veya Kapısı" özdeşliklerini verir.

Boolean Matematiği'nin Birleşme, Yer değiştirme, Dağılma, Özdeşlik, Tamamlayıcı, Çift tersleme, Yutma, Ve özdeşlikleri, veya özdeşlikleri ve De Morgan Kanunu olarak on bir teoremi vardır.