Esimerkki

Kirjoitetaan ehto: "jos a on nolla ja b suurempi kuin 5 tai c on 100".