El algebra boole / ley de morgan de la "puertas lógicas" tiene 2 estados ( 0 y 1 , con la con 2 NANDS tengo todo ) y la tautologia de las tablas se basa en esos 2 estados. Si pensamos en QBit ( |0> , |1> , |01>, |10>, .....) ), no hay tautologia clasica... se derrumba el álgebra de boole/morgan en este campo, salvo que sean reversibles las operaciones. Interesante el campo que se abre !!!!!! a investigar un poco mas del tema en lo que se refiera a superposición cuántica.