circuit_operation (313B)
1 # Circuit operation 2 3 - [circuit_restriction]: project away some variables 4 - [circuit_selection]: for [multivalued_circuits], restrict the values to be in a subset of the domain 5 - [circuit_complementation] 6 - [circuit_disjunction] 7 - ensure that all [gates] have [fan_in] 2 8 9 Up: [constructions] on [boolean_circuit]