Reversible Logic Synthesis Book

	Dedication
	Preface
	Abstract
	Acknowledgements
	Glossary
1	Introduction	1
2	Fundamentals	15
3	New Multiple-Valued S/D Trees and their Canonical Galois Field Sum-Of-Product Forms	39
4	Novel Methods For the Synthesis of Boolean and Multiple-Valued Logic Circuits Using Lattice Structures	67
5	Reversible Logic: Fundamentals and New Results	112
6	Reversible Lattice Structure	150
7	Novel Reconstructability Analysis Structures and their Reversible Realizations	158
8	New Reversible Structures: Reversible Nets, Reversible Decision Diagrams, and Reversible Cascades	186
9	Initial Evaluation of the New Reversible Logic Synthesis Methodologies	205
10	Quantum Logic Circuits for Reversible Structures	218
11	Quantum Computing: Basics and New Results	229
12	Conclusions	312
App. A	Count of the New Invariant Shannon and Davio Expansions	321
App. B	Circuits for Quaternary Galois Field Sum-Of-Product (GFSOP) Canonical Forms	326
App. C	Count of the Number of S/D Inclusive Forms and the Novel IF[subscript n.2] Triangles	330
App. D	Universal Logic Modules (ULMs) for Circuit Realization of Shannon/Davio (S/D) Trees	343
App. E	Evolutionary Computing: Genetic Algorithms (GA) and Genetic Programming (GP)	351
App. F	Count for the New Multiple-Valued Reversible Shannon and Davio Decompositions	355
App. G	NPN Classification of Boolean Functions and Complexity Measures	358
App. H	Initial Evaluation of the New Modified Reconstructability Analysis and Ashenhurst-based Decompositions: Ashenhurst, Curtis, and Bi-Decomposition	364
App. I	Count for Reversible Nets	377
App. J	New Optical Realizations for Two-Valued and Multiple-Valued Classical and Reversible Logics	378
App. K	Artificial Neural Networks Implementation Using Multiple-Valued Quantum Computing	390
	Bibliography	403
	Index	417