Page 1 of 1

Tautologi og logiske lover

Posted: 29/04-2014 08:08
by surangie
Jeg har en oppgave som lyder: Undersøk om følgende er en tautologi.
[tex](p\wedge (q\vee r))\rightarrow ((p\wedge q)\vee r)[/tex]

En tautologi er et utsagn som alltid vil være sant, f.eks "Det regner, eller det regner ikke".
Jeg skjønner at jeg må bruke de logiske lovene her for å løse oppgaven, men jeg klarer ikke forstå hvordan jeg gjør det :S

Hvis noen har lyst å hjelpe meg med dette, har jeg blitt veldig glad! :)

Re: Tautologi og logiske lover

Posted: 29/04-2014 11:45
by Vaktmester
Du kan bare sette opp en tabell for alle mulige verdier av p, q og r og vise at uttrykket blir sant i alle tilfeller. Da er det en tautologi. Det blir en tabell med 8 rader.