Алгебру $(P_2; \neg, \wedge,\vee)$ з операціями заперечення, кон’юнкції та диз’юнкції називають алгеброю Буля.