Formelvereinfachung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Der Transformationsprozess, der eine logische Formel in eine syntaktisch einfachere und semantisch äquivalente Form überführt, indem Redundanzen entfernt und logische Identitäten angewendet werden.