Logikübergang
Beweisprüfer
Bitte beachten Sie, dass die Buchstaben "A" und "E" als Abkürzungen für die Quantoren interpretiert werden und deshalb nicht als Satzbuchstaben verwendet werden können.
Sie sind die 3378494. Besucherin.
Der Betrieb des Logikrechners kostet derzeit ca. 113,88€ pro Jahr (Cloudserver 85,07€, Domänengebühr 28,80€), deshalb hier ein Paypal-Spendenlink.