wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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]