可補束
a ∨ a = 1 かつ a ∧ a = 0。