Description
Strong Kleene exclusive-or: an unknown operand gives unknown.
A logical calculation operates on a stated representation: truth values, token lists, counts, or an explicitly supplied relation. Checking one assignment, pair, trace, or witness is different from proving a formula or validating an entire argument. Empty domains, duplicate tokens, and scope conventions can change the result.
Strong Kleene exclusive-or: an unknown operand gives unknown.
When to use this tool
Use Exclusive OR Three Valued Unknown Case when you need this exact local truth, count, token, relation, or witness check within a larger logic workflow.
How to use the tool and how it works
- Enter first, second. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read value. Use the output convention below.
Accept first and second as true, false, or unknown strings. Return unknown if either is unknown, otherwise the string form of whether the two values differ.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| first | First | Required. Text; one of "true", "false", "unknown"; maximum UTF-16 length 8192. |
| second | Second | Required. Text; one of "true", "false", "unknown"; maximum UTF-16 length 8192. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| value | Value | Required. Text; maximum UTF-16 length 8192. |
{
"input": {
"first": "true",
"second": "false"
},
"output": {
"value": "true"
}
}Limitations and assumptions
- This is the stated three-valued extension of exclusive-or. It does not infer relationships between unknown operands or evaluate arbitrary many-valued formulas.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
Alternative or Complementary methods
Use a parser, scope-aware representation, model checker, or proof procedure when the supplied token or witness representation is insufficient. A local passing check should not be promoted to global validity.
References
Similar or alternative tools
- Modal Box Vacuous Successor Case
Evaluate box and diamond on an explicit finite list of accessible successor truth values.
- Temporal Until One Boundary Case
Finite-trace strong until at index zero: right must eventually hold and left must hold strictly before its earliest qualifying witness.