Assertion: gate | /r/HasProperty | inverted-input
Facets:
Source sentences:
text: \displaystyle (A+B)\cdot ({\overline {A}}+{\overline {B}})} , noting from de Morgan's Law that a NOR gate is an inverted-input AND gate.