Tavle?velser uke 35
Dette dokumentet inneholder oppgavene fra en tidligere l?rebok til dette kurset. Gj?r alle oppgaver til og med oppgave 1.1.9, unntatt 1.1.7.
Oversett f?lgende fire setninger til utsagnslogikk, og finn sannhetsveridtabellen til det sammensatte utsagnet (1 & 2) -> (3 v 4).
- Jeg er i Frankrike hvis jeg er i Paris
- Jeg er i London bare hvis jeg er i England
- Hvis jeg er i Paris, s? er jeg i England
- Hvis jeg er i Paris, s? er jeg i Frankrike
Kikk s? p? denne "tutorialen" om logikk og logiske kretser. Les f?rst om de enkle portene (simple gates) for og, eller og ikke, og test dem ut ved ? klikke p? inngangene. (Hvitt for sant og svart for usant.) G? deretter videre til det som st?r om advanced gates; her vises hvordan de enkle portene kan kombineres til sammensatte kretser p? samme m?te som enkle utsagn kan kombineres til sammensatte ved hjelp av konnektiver. Skriv utsagn med konnektivene og, eller og ikke, som svarer til kretsene for NAND og eksklusiv eller.
Gj?r til slutt oppgavene 1.1.10 og 1.1.11 fra dokumentet angitt ?verst, alts? http://folk.uio.no/herman/Logikk/oppgaver.pdf. (Et lite tilleggsp?rsm?l til 1.1.10: Jeg p?st?r at negasjonen av det foresl?tte utsagnet er et like riktig svar. Hvordan kan dette eventuelt ha seg?)