Two Logical Verification of Quantum NOT Gate
Alauddin Ahmed, Atiqur Rahman, Mohammed Anwer, Nazmul Haque, Morshed Chowdhury · 2007
Quantum NOT gate is one of the elementary gates of quantum computer. We verify the physical consistency of the negation property of quantum NOT gate with the spin 1 /2 qubit using Toy model. We show that spin 1/2 qubit NOT gate properties satisfy quantum logical propositions using pasting construction.