![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/e/e0/Quantum_Logic_Gates.png/640px-Quantum_Logic_Gates.png&w=640&q=50)
Kvanttilogiikka
looginen järjestelmä, joka täyttää kvanttimekaniikan periaatteet / From Wikipedia, the free encyclopedia
Kvanttilogiikka on looginen järjestelmä, jossa propositiot (asiantilat) vaikuttavat keskenään (interferenssi)[1]. Se on kvanttimekaniikkaa sovellettuna logiikkaan. Kvanttilogiikasta on monia erilaisia toteutustapoja tai versioita, ja niiden järjestelmät eroavat paljon klassisesta Boolen algebrasta[1].[2][3] Tämä tutkimusalue ja sen nimi saivat alkunsa Garrett Birkhoffin ja John von Neumannin artikkelista vuodelta 1936[4]. Merkittävin ero kvanttilogiikan ja klassisen logiikan välillä on propositionaalisen distributiivisen lain noudattamatta jättäminen[5].
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e0/Quantum_Logic_Gates.png/640px-Quantum_Logic_Gates.png)
Kvanttilogiikan paras mahdollisuus elpymiseen on kvanttilaskennan kehitys, joka on tuottanut runsaasti uusia logiikoita kvanttiprotokollien ja -algoritmien muodolliseen analyysiin[6].