2.5.2 Ekvivalent
Förenkla följande påståenden. Förklara vilka lagar som du använder i varje steg. Kontrollera, med hjälp av sanningstabeller, dina svar.
[a] icke(icke (p eller q) och icke q)
[b] icke(p och q) eller p
[c] icke(p eller q) och p
[d] icke((icke p och icke q) och icke r)
© Sarah Norell
c/o
Pia Heidtmann
MID SWEDEN UNIVERSITY
Department of Engineering, Physics and Mathematics
Mid Sweden University
S-851 70 SUNDSVALL
Sweden
Updated 050912.
