Four-valued logic

A four-valued logic is any logic with four truth values. Several types of four-valued logic have been advanced. The most common, particularly in electronics, is the IEEE standard 0, 1, X, Z (see Verilog for information about it).