1. Aljabar Boolean
Matematika Merupakan sarana yang berguna dalam analisis rangkaian logika digital. Semua operasi logika dalam suatu rangkaian logika tergantung pada ada atau tiadanya sisnyal, suatu variabel logika hanya dapat memiliki satu dari dua nilai yang mungkin terjadi yaitu 0 atau 1. Matematika dengan dua nilai itu disebut dengan Aljabar Boolean dua nilai. Aljabar Boolean dapat didefinisikan dengan suatu himpunan unsur dan sejumlah aturan-aturan untuk menentukan logika digital, atau “switching algebra”, yaitu berupa aksioma-aksioma dan teorema-teorema. Operator-operator yang digunakan pada Aljabar Boolean : { · , + , ‘ , }. Aksioma-aksioma dan Teorema-aksioma digunakan untuk membantu atau mereduksi logika kompleks menjadi logika lebih sederhanameningkatkan “area dan kecepatan” dari rangkaian digital.
2. Aksioma dan Teorema pada Aljabar Boolean
Aksioma merupakan kumpulan definisi dasar minimal yang diasumsikan benar dan secara menyeluruh mendefinisikan aljabar switching dan dapat digunakan untuk membuktikan teorema-teorema aljabar switching lainnya. Berikut Aksioma-aksioma dan teorema-teorema dalam Aljabar Boolean :
