Forums Neueste Beiträge
 

konjunktive normalform

14/12/2013 - 18:51 von metrophage | Report spam
hallo,
wer kann folgende Formeln in konjunktive notmalform bringen?

a) (A ^B) <-> (A v B)
b) (A v B) <-> C
c) (A ^(A ->B)) -> B
d) ((A v B) - > C) -> D
e) ((A ^B) - > -C) -> D

und mittels Resolution:
b) A - > (B -> C)
c) P v Q, Q v R soll abgeleitet P v R
d) ((P -> Q) ->P) -> P
e) ((P -> Q) ^(Q - > R)) - > - (-R ^P)

wir könnten über eine Bezahlung verhandeln ... ist wirklich dringend!

mfg
susanne
 

Lesen sie die antworten

#1 metrophage
15/12/2013 - 16:55 | Warnen spam
Am Sonntag, 15. Dezember 2013 18:51:16 UTC+1 schrieb :

ja was ist denn. könnte sich vielleicht endlich jemand melden?

mfg
suanne

Ähnliche fragen