0:00
ExperteLogische ÄquivalenzÄquivalenzprüfung
Ist der folgende Ausdruck erfüllbar (kann er wahr gemacht werden)?
(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)
Bestimmen Sie, ob es eine Belegung der Wahrheitswerte gibt, die diesen Ausdruck wahr macht.
Ist der folgende Ausdruck erfüllbar (kann er wahr gemacht werden)?
(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)
Bestimmen Sie, ob es eine Belegung der Wahrheitswerte gibt, die diesen Ausdruck wahr macht.