В алгебрі логіки значенням змінних є значення істинності істина або хибність, які як правило визначаються як 1 і 0 відповідно. На відміну від елементарної алгебри, в якій значеннями змінних є числа, а основними операціями є додавання і множення, основними операціями Булевої алгебри є кон'юнкція операція І () позначається як ∧, диз'юнкція АБО () позначається як ∨, і заперечення НІ () позначається як ¬. Таким чином формалізм для описання логічних відношень є аналогічним тому, як описуються числові відношення у елементарній алгебрі.