Closed jvoigtlaender closed 8 months ago
Eine Instanz wie
ist doch recht einfach.
Eventuell einen Filter einbauen, der einfach alle Formeln verwirft, in denen nicht mindestens zwei verschiedene binäre Operatoren vorkommen?
Addressed by #67.
Eine Instanz wie
ist doch recht einfach.
Eventuell einen Filter einbauen, der einfach alle Formeln verwirft, in denen nicht mindestens zwei verschiedene binäre Operatoren vorkommen?