P -> Q equivalent aan not(P) OR Q Voorbeeld: Als “Voornaam” voorkomt, dan moet ook “Achternaam” voorkomen. Rule: “not(Voornaam) or Achternaam” ————————————————————– Schematron: Inverse Exclusive Or In logica: P and not(Q) or not(P) and Q