Die Resolvente der Klauselmenge (A ∨ B, ~A ∨ D, C ∨ ~B) ist
(A) A ∨ B
(B) C ∨ D
(C) A ∨ C
(D) A ∨ D

Antwort: ( B)
Erklärung:
Quiz zu dieser Frage
Bitte kommentieren Sie unten, wenn Sie im obigen Beitrag etwas falsch finden