three-valued logic