WAAR of ONWAAR: Als P(A | B) = 1, dan moeten A en B gelijk zijn.