0:00
ExpertLogische EquivalentieEquivalentie Controle

Is de volgende expressie vervulbaar (kan deze waar gemaakt worden)?

(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)

Bepaal of er een toekenning van waarheidswaardes bestaat die deze expressie waar maakt.