Source: wikibot/three-valued-logic

= Three-valued logic
{wiki=Three-valued_logic}

Three-valued logic is a type of formal logic that extends classical binary logic (which uses only two truth values: true and false) by introducing a third truth value. The most common interpretation of this third value is "unknown" or "indeterminate," but the specific interpretation can vary depending on the context. In three-valued logic, the three truth values are often represented as: 1. **True (T)**: Represents objects that are true.