VectorPaint 与或非真值卡：把四种输入与三个输出逐格对应

真值卡的零一表示真假，不是数量大小或优先级。本篇用甲乙两个命题的四种组合，手工填写非甲、甲且乙、甲或乙三个输出。或明确采用至少一个为真的包含式含义，不用口语有时带的二选一解释。应用只排版，计算和核对由人完成，不自动执行逻辑或验证推理。

先定义输入输出和零一含义

新建一千二百乘八百像素画布，表头左两列为甲、乙，右三列为非甲、甲且乙、甲或乙。旁边写零是假、一是真，甲乙只代表抽象命题，不用真实人群判断。非甲只取甲的反值，与乙无关；且要两者都真；或只需至少一个真。先把这三条用自己的话复读，避免还没定规则就复制数字。此图不涉及电路电压、程序布尔类型或实际政策审批，不能把静态卡当某种系统已经实现的判断界面。

四行输入先全而不重复

输入从上到下零零、零一、一零、一一，每种各一次，四行来自两个选择各两种的组合。先只放左两列，隐藏输出检查是否漏一零或重复零一。表头与行号不算输入，不能把首行标题当第五组。甲放左乙放右的约定全图一致，后来换列顺序要同步所有说明。用相同字框和字号，零一分别清楚，不靠颜色才能区分。四行来源保存后再填结果，避免先看某种输出预想而改动输入组合来迎合它。

非甲列逐行只看甲

甲前两行为零，非甲前两行都一；甲后两行为一，非甲后两行都零，所以这一列依次一一零零。乙从零变一不改变同一个甲对应的非甲，不把整行两个输入一起反转后写成单个输出。可以用短说明指回甲列，但引线不要跨到乙。先遮住其他两输出列单独核对非甲，再恢复，减少视觉干扰。这里的取反是规则定义，不是在图上翻转字符或调换黑白色块；操作文字颜色不会自动改变它代表的逻辑值。

且和或分开核对再比较

甲且乙只有最后一行两者都一才输出一，整列零零零一。甲或乙在零零时为零，其余零一、一零、一一都一，整列零一一一。特别一一的或仍是一，不因为两者同时真就写零；那会成为另一个规则，不是本题包含式或。两列分别读完再对照，输出位置不能互换。单元格可用同一颜色，先靠表头与规则辨认，不用绿色表示一却在某行又表示正确。每项都能回输入解释，才给卡片添加装饰。

用一处错误测试查找依据

在副本把最后一行的或改零，先保持输入与其他输出不动。检查时应直接回至少一个为真规则，指出一一满足它，不能因为行里还有一个零就认定零合理。测试改动只在副本，正式稿恢复一。再选零一行，且为零而或为一，说明两个输出回答不同条件，不互相矛盾。这个练习不是让软件抓错，也不证明任何复杂命题已经通过形式验证；它检验自己能否用清楚规则找到一格具体错误。

数字卡与自然语言例子分开管理

如果加入生活化句子，只选无风险自创示例并明确甲乙各指什么，不能让读者用常识补未写条件。自然语言的或者可能带排他含义，所以图旁仍保留本题包含式说明。例句改变不自动改变抽象真值表，但命题身份变了要重读对应。若用来讲解实际判断流程，还需另列场景条件，不能把这张抽象卡当作已完成的流程。卡片可以帮助学习定义，不代表所有现实语句都能直接塞进两输入五列。先把抽象版保存，再另做解释页，避免例子遮住规则。

输出逐行读输入再读三个结果

保存规则、四输入来源和完整卡，导出后每行先读甲乙，再读非甲、且、或，尤其核对最后一行。实际尺寸下零一不混淆，列头不换行压入相邻列，必要时加宽表格而非删条件。透明图换背景看细线和文字，实体底板需要自己处理。文件名写包含式或真值卡、版本与尺寸，打开实际文件排除故意错误。可编辑交付保留字段顺序，换列或换词后重新检查，不把SVG或图片视为可运行的逻辑程序。

一一写零时先确认是不是换了规则

或最后一格错，回包含式定义，不通过把表头改模糊的选择来逃避。非甲随乙变化，检查是否误看乙列；且在一零写一，回两者都真条件。行数对但组合重复，先修输入源，再重算输出，不直接凑数字。文字颜色看似正确不替代值核对。修正后用输入唯一、三个规则、逐格解释和实际文件四项复查，每个输出都有依据，真值卡才支持学习，而不是一张零一排列漂亮却含义不明的表。