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.