rakhimov opened this issue 8 years ago · 1 comments
The words (and, or, not) are cluttering the formulas for the gates.
Also k-out-of-n could be represented with n-choose-k binom.