Artikel Name
In dem Artikel werden die Dinger Reduced Boolean Circuit, nicht Reduced Binary Circuits genannt.
Operatoren
Ich glaube das die Menge der Operatoren nur aus { \land , \Leftrightarrow } bestehen.
In dem Artikel werden die Dinger Reduced Boolean Circuit, nicht Reduced Binary Circuits genannt.
Ich glaube das die Menge der Operatoren nur aus { \land , \Leftrightarrow } bestehen.