three-valued-logic