Matematik
Logikalgebra Mængdealgebra
06. december 2007 af
Wing3 (Slettet)
Nogen der ved hvordan man reducerer sådan et udtryk?
((-p)"og"q)"eller"(p"og"q)
((-p)"og"q)"eller"(p"og"q)
Svar #1
07. december 2007 af sheaf (Slettet)
(ikke p og q) eller (p og q) må nødvendigvis være ækvivalent med q. Hvis du har mas med at se det direkte, så må du ty til logikreglerne. Specielt den distributive lov og loven om absorption. Trinnen kan f.eks. forløbe sådan
(non p ^ q) \/ (p ^ q) <-> [distributive lov]
((non p ^ q) \/ p)) ^ ((non p ^ q) \/ q) <-> [distributive lov]
((non p\/p)^(p\/q)) ^ ((non p\/q)^(q\/q)) <-> [komplementering og idempotens]
(q\/p)^(q^(non p \/ q)) <-> [absorption]
q^(q\/p) <-> [absorption]
q
(non p ^ q) \/ (p ^ q) <-> [distributive lov]
((non p ^ q) \/ p)) ^ ((non p ^ q) \/ q) <-> [distributive lov]
((non p\/p)^(p\/q)) ^ ((non p\/q)^(q\/q)) <-> [komplementering og idempotens]
(q\/p)^(q^(non p \/ q)) <-> [absorption]
q^(q\/p) <-> [absorption]
q
Skriv et svar til: Logikalgebra Mængdealgebra
Du skal være logget ind, for at skrive et svar til dette spørgsmål. Klik her for at logge ind.
Har du ikke en bruger på Studieportalen.dk?
Klik her for at oprette en bruger.