Petzi
24-10-2002, 13:42
ich hab eine ganz ganz dringende & wichtige Frage
also ich hab grad ein paar DPLL-Bsp gerechnet und bin da auf einen Ausdruck gekommen, bei dem ich irgendwie ansteht
neg(A Pfeil nach oben B |= negC und D)
bzw. (A Pfeil nach oben B |= negC und D)
wie rechnet man sowas????? :confused:
MfG Petz
also ich hab grad ein paar DPLL-Bsp gerechnet und bin da auf einen Ausdruck gekommen, bei dem ich irgendwie ansteht
neg(A Pfeil nach oben B |= negC und D)
bzw. (A Pfeil nach oben B |= negC und D)
wie rechnet man sowas????? :confused:
MfG Petz