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