5)Аксиомы алгебры предикат.

Аксиома двойного отрицания: .

Аксиомы переместительности операндов (относительно операций дизъюнкции и конъюнкции): , .

Аксиомы переместительности операций дизъюнкции и конъюнкции (относительно операндов): , .

Аксиомы одинаковых операндов: , .

Аксиомы поглощения: , .

Аксиомы распределения операции (дизъюнкции относительно конъюнкции и наоборот)

, .

Аксиомы де Моргана (перенесения бинарной операции на операнды): , .

Аксиомы нейтральности (взаимноинверсных множителей или слагаемых): , .

Аксиома существования единицы (истина, true, 1) и нуля (ложь, false, 0), причем, , , , .

Из этих аксиом следует ряд полезных соотношений, например,