Three-valued logic (TS)