msinger opened this issue 3 years ago · 0 comments
On page 15, DOXA is actually a NOR gate, not an OR.
DOXA