| Boole’i loogika Inglise matemaatiku George Boole’i poolt 19. sajandil loodud matemaatiline loogika. Kui aritmeetikas on põhiteheteks liitmine, lahutamine, korrutamine ja jagamine, siis Boole’i loogikas on põhiteheteks AND, OR ja NOT. Boole’i loogikatehteid realiseeritakse loogikaventiilide abil, kusjuures loogikaventiile valmistatakse mitte ainult põhitehete, vaid ka mitmesuguste permutatasioonide (näit. NAND, NOR, XOR ja XNOR) teostamiseks.
| AND | OR | NOT |
| IN | IN | OUT | IN | IN | OUT | IN | OUT |
| 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | |
| 1 | 1 | 1 | 1 | 1 | 1 |
Boole’i loogika reeglid ehk tõetabelid |