Trivalent logic
Redirect to:
Three-valued logic