Da ich net weiß wo ich es hinschreiben soll, und es später zum Programmieren dient, frage ich es hier:

Wenn ich Logik anwende, mit
z.B: R → S oder R ↔ S oder auch ¬R

Dann schreibe ich das mit Negationen und Implikationen usw.

Nun soll ich das aber nur mit Nands schreiben.

Wie mach ich das bei der Biimplikation oder auch Äquivalenz genannt, habe ich Probleme, bei mir kommt ein zu langer aussagenlogischer Ausdruck raus:

( "ח" benutze ich als NAND, da ich in der Zeichentabelle das richtige Zeichen nicht finde (vl hat da auch jem ne Antwort..)

((Rח(SחS))ח(Sח(RחR))ח(R(ח(SחS))ח(Sח(RחR)))


Der ist aber echt zu lang.

Hat jem ne Idee