Enojezični primeri (nepregledani od uredništva PONS)
nemščina
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.