(a ∧ b ∧ c) (ab ∨ bc ∨ ca) = |abc|