Full expression assignment: variable truth values and operator acceptance states.
Operator expression ID → accepted/rejected. Unset operators evaluate normally.
Variable ID → true/false/null (null = unset/not sure).
Full expression assignment: variable truth values and operator acceptance states.