The normal form of reversible circuits consisting of CNOT and NOT gates

@article{Sotkov2005TheNF,
  title={The normal form of reversible circuits consisting of CNOT and NOT gates},
  author={Miroslava Sot{\'a}kov{\'a}},
  journal={Electronic Colloquium on Computational Complexity (ECCC)},
  year={2005}
}
This paper deals with the reversible circuits with n input and output nodes, consisting of the reversible gates FAN-IN=FAN-OUT≤ 2. We define a normal form of such type of circuits and describe a reduction algorithm to transform a circuit in this form. Furthermore we use it for checking whether two circuits are equivalent to each other without evaluating… CONTINUE READING