任务面板中的某个条件尚未调查，并不等同于它已经失败。把条件分为真、假和未知，可以解释为什么有时一个假条件已经足以否定全部达成，而一个真条件已经足以确认至少一项达成。

这份练习把数据、规则和中间状态一起列出。可以先自行推演，再与过程记录逐项比较；如果结果不同，先找到第一处分歧，确认时间单位、端点归属和运算顺序。案例是一套限定模型，不把其他作品的不同实现认定为错误。

规则与输入

使用明确的三值约定：全部条件中有假则假，全真则真，否则未知；至少一项中有真则真，全假则假，否则未知。否定交换真和假，未知保持未知。

每组代表三个独立条件的调查结果 [['假', '真', '未知'], ['未知', '假', '真'], ['真', '假', '未知'], ['假', '未知', '未知'], ['真', '真', '假'], ['真', '假', '真'], ['真', '未知', '未知'], ['假', '未知', '假'], ['假', '假', '假'], ['假', '假', '真'], ['真', '假', '假'], ['未知', '假', '真'], ['真', '未知', '假'], ['未知', '未知', '未知']]

逐项推演

快照1的三个条件['假', '真', '未知']：全部满足为假，至少一项为真，逐项否定后为['真', '假', '未知']。

快照2的三个条件['未知', '假', '真']：全部满足为假，至少一项为真，逐项否定后为['未知', '真', '假']。

快照3的三个条件['真', '假', '未知']：全部满足为假，至少一项为真，逐项否定后为['假', '真', '未知']。

快照4的三个条件['假', '未知', '未知']：全部满足为假，至少一项为未知，逐项否定后为['真', '未知', '未知']。

快照5的三个条件['真', '真', '假']：全部满足为假，至少一项为真，逐项否定后为['假', '假', '真']。

快照6的三个条件['真', '假', '真']：全部满足为假，至少一项为真，逐项否定后为['假', '真', '假']。

快照7的三个条件['真', '未知', '未知']：全部满足为未知，至少一项为真，逐项否定后为['假', '未知', '未知']。

快照8的三个条件['假', '未知', '假']：全部满足为假，至少一项为未知，逐项否定后为['真', '未知', '真']。

快照9的三个条件['假', '假', '假']：全部满足为假，至少一项为假，逐项否定后为['真', '真', '真']。

快照10的三个条件['假', '假', '真']：全部满足为假，至少一项为真，逐项否定后为['真', '真', '假']。

快照11的三个条件['真', '假', '假']：全部满足为假，至少一项为真，逐项否定后为['假', '真', '真']。

快照12的三个条件['未知', '假', '真']：全部满足为假，至少一项为真，逐项否定后为['未知', '真', '假']。

快照13的三个条件['真', '未知', '假']：全部满足为假，至少一项为真，逐项否定后为['假', '未知', '真']。

快照14的三个条件['未知', '未知', '未知']：全部满足为未知，至少一项为未知，逐项否定后为['未知', '未知', '未知']。

未知不自动转成假；只有已有信息足以决定结果时，组合条件才显示确定值。

复核与使用边界

把未知条件分别尝试补成真或假。若全部补法输出都真，就能确认真；全部都假则确认假；两种结果都可能则保持未知。本例仅对基础全部与任选条件做这种复核。

若两个未知条件其实指向同一个事实，它们就不是独立输入；更复杂表达式还可能依赖这种关联。本例只复核三个基础输入的全部与任选组合，不能据此声称任意条件表达式都能保留所有逻辑关系。

复盘时建议保留输入表和中间状态，而不仅保存最终答案。改动一个条件后重新推演，再检查起点、终点、重复值和临界输入；这样能把规则本身、计算实现和显示结果分别核对，避免把一次偶然相同当成验证完成。