317 hat eine ungerade Zahl … Übersetzen in Aussagenlogik Funktoren.

Question

Die Zahl 317 hat eine gerade oder eine ungerade Anzahl an Ziffern.  Bitte wie kann ich dich das jetzt in Funktoren   übersetzen?

Answer 1

g = hat gerade Anzahl von Ziffern

317: g v ¬g