3-value logic