Boolske operasjoner og aksiomer (kommutativitet, distributivitet, komplement)Verifisering av at en struktur er en boolsk algebraBoolske funksjoner og logiske porterForenkling av boolske uttrykk
Om denne oppgaven: Dette er en øvingsoppgave med løsningsforslag utarbeidet av Eksamenssett.no for treningsformål. Den er ikke en offisiell eksamen fra NTNU – både oppgavetekst og løsning er vårt eget materiale.