Nine-valued_logic