Переменные, рассматриваемые в алгебре логики, могут принимать только два значения: 0 или 1. В алгебре логики определены отношение эквивалентности (обозначается знаком =), операция логического сложения (дизъюнкции), обозначаемая знаком 
, логического умножения (конъюнкции), обозначаемая знаками &, 
или точкой (иногда конъюнкция никак не обозначается, например, A&B = A B = A∙B = AB), и отрицания (инверсии), обозначаемая надчеркиванием или апострофом ‘.
В алгебре логики задаются следующие аксиомы:
x = 1, если x 
0; x = 0, если x 1;
0&0 = 0; 1 1 = 1
1&1 = 1; 0 0 =0;
1&0 = 0&1 = 0; 0 1 = 1 0 = 1;
1; 
= 0.
