{| cellpadding=5 | | | associativity |- | | | commutativity |- | | | absorption |- | | | identity |- | | | distributivity |- | | | complements |} Note, however, that the absorption law and even the associativity law can be excluded from the set of axioms as they can be derived from the other axioms (see Proven properties).
{| cellpadding=5 | | | associativity |- | | | commutativity |- | .| | absorption |- | | | identity |- | | | distributivity |- | | | complements |} Note, however, that the absorption law and even the associativity law can be excluded from the set of axioms as they can be derived from the other axioms (see Proven properties)