[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!
