HUMIT1750MN oppgaver uke 37

Hos Gateway to logic kan du eksperimentere med noen av begrepene vi har sett på til nå.  (Canonical disjunctive normal form er det samme som full disjunctive normal form.) Flere av oppgavene nedenfor kan løses ved hjelp applikasjonene du finner der.  Prøv imidlertid også å gjøre alle (eller de fleste) oppgavene for hånd!

Vi har ikke snakket om konjunktiv normalform på forelesningene, men dette er ikke noe problem hvis man har lært å finne disjunktiv normalform:  For å finne konjunktiv normalform av A kan man i stedet finne disjunktiv normalform av  ¬A og deretter bytte om konjunksjoner og disjunksjoner i resultatet, samt erstatte alle negative litteraler med de tilsvarende positive litteralene og omvendt.  Forklar hvorfor dette gir riktig resultat.

Fra side 367-369 i læreboken:  Oppgave 1, 2, 3, 5, 7b, 8b, 9b, 10bdf, 11bdf, 14abc, 15abc.  Finn dessuten (enklest mulige) konjunktiv og disjunktiv normalform i oppgave 3.