Jednojezični primeri (nisu ih verifikovali PONS urednici)
nemački
Die zur Entscheidbarkeit einer Formel notwendige Normalform entsteht hier einfach durch distributives Ausmultiplizieren und Streichen doppelter Faktoren und Summanden mit der Idempotenz und der Zusatzregel.