Boolsk algebra er den matematikken som beskriver digitale kretser . Et uttrykk i Boolsk algebra beskriver hva en digital krets gjør. Variablene i uttrykket korresponderer til inngangene til kretsen , og verdiene av uttrykket svarer til de utganger for forskjellige verdier av innganger. Noen ganger er kretser representert som " sannheten tabeller . " I sannheten tabeller , er det en kolonne for hver inngang variabel og en kolonne for output fra kretsen . Det er mulig å konvertere sannheten bordet for en krets i Boolsk algebra uttrykk som beskriver det . Instruksjoner
en

Utvikle boolsk uttrykk som tilsvarer en sannhet tabell ved å skrive ligningen OUTPUT = product1 + Product2 + Product3 og så videre . Det vil være ett produkt for hver en som vises i utdatakolonner . Hvert produkt er skrevet ved å undersøke verdiene av variablene som vises i raden der produksjonen verdien er en .
2

Skriv hvert produkt som en liste over input variabler der noen av variablene kan ha en apostrof etter navnet. Variabler med en verdi på 1 i raden er skrevet uten apostrof, og variabler som har en verdi på 0 i raden er skrevet med en apostrof . For eksempel , hvis det er tre input-variabler i raden av en sannhet bord der produksjonen er en , og verdiene av input variabler - A, B og C - er 1, 0 og 1 henholdsvis , vil produktet være AB ' C.
3

Forenkle boolsk uttrykk for å minimere kretsen . Lovene i Boolsk algebra gi flere regler for å forenkle uttrykk. To av disse reglene som ofte brukes til å forenkle uttrykkene er X + X '= 1 og Y1 = Y. For eksempel den opprinnelige uttrykk produsert av en sannhet bord med to input variabler kan være UTGANG = AB + AB ' + A'B , og dette uttrykket kan forenkles slik: OUTPUT = AB + AB ' + A'B = A ( B + B' ) + A'B = A ( B + B ' ) + A'B = A1 + A'B = A + A'B .