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)
|