[next] [prev] [prev-tail] [tail] [up]

3.3 Associative

a ∧ (b ∧ c) = (a ∧ b) ∧ c and a ∨ (b ∨ c) = (a ∨ b) ∨ c

[next] [prev] [prev-tail] [front] [up]