Assertion: boolean circuit | /r/DefinedAs | finite directed acyclic graph
Facets:
Source sentences:
text: A Boolean circuit over a basis B, with n inputs and m outputs, is then defined as a finite directed acyclic graph.