quantum logic
noun
A three-valued logic for dealing with the observation and measurement of quantum phenomena (where simultaneous precise measurement of related variables is not necessarily possible), in which the distributive law of Boolean logic (that p and (q or r) implies (p and q) or (p and r)) does not hold.
Origin
1930s; earliest use found in Journal of Symbolic Logic.