Logical Disjunction

Ket Vectors