Assertion: circuit's gate | /r/HasProperty | unary
Facets:
Source sentences:
text: For example, a circuit might contain binary AND and OR gates and unary NOT gates, or be entirely described by binary NAND gates.