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.