Mathematically, quantum logic is formulated by weakening the distributive law for a Boolean algebra, resulting in an ortho­complemented lattice. Quantum-mechanical observables and states can be defined in terms of functions on or to the lattice, giving an alternate formalism for quantum computations.