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.
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.