Ligjet themelore të veprimeve , janë :
|
(a1)
|
A A A,
|
A A A,
|
(ligji i idempotencës)
|
(a2)
|
A B B A,
|
A B B A
|
(ligji i komutacionit)
|
(a3)
|
(A B) C A (B C) (A B) C A (B C)
|
(ligji asociativ)
|
(a4)
|
A (B C) (A B} (A C) A (B C) (A B} (A C)
|
(ligji distributiv)
|
(a5)
|
A (B C) (A B} (A C), A (B C) (A B} (A C),
|
(ligji distributiv)
|