Four-valued logic

Four valued logic is used to model signal values in digital circuits: the four values are Z, X and the boolean values 1 and 0. Z stands for high impedance or open circuit, while X stands for "unknown". There is also a 9-valued logic standard by the IEEE.