Die Disziplin der Logik wird schon seit Jahrtausenden erforscht und war lange Zeit einer der wichtigsten Aspekte der Philosophie – und ist heute, durch Computertechnologie und digitale Schaltungen wichtiger als jemals zuvor. Durch die Arbeit von George Boole und vielen weiteren konnte die Logik in die Mathematik eingegliedert werden. Auch wurden dabei verschiedene Normalformen entdeckt, unter anderem die drei in dieser Arbeit behandelten; die Konjunktive, Disjunktive und Ringsummen-normalform. Sie teilen die Eigenschaft, dass jede logische Formel zu ihnen umgeschriebenen werden kann. In dieser Arbeit werden Methoden dargestellt, mit denen man diese Normalformen als Matrizen darstellen kann. Auch werden die Grundlagen der booleschen Algebra und der Verbandstheorie gegeben.