On Three-valued Logic