带 dont-care 条件最小化完整布尔逻辑

先固定输入和允许变化的集合

选粘贴或文件模式，提供一份完整严格 UTF-8 JSON。expression 为原函数，dontCare 为可忽略输入的条件，form 是 dnf、cnf 或 both；省略 dontCare 等同 False。文件模式只处理一个原 File，粘贴模式只处理活动文本。支持一个源开头的 UTF-8 BOM，并在原件中逐字节保留。

变量名区分大小写且仅用 ASCII。写 ~A 或 !A 表示 NOT，& 表示 AND，^ 表示 XOR，| 表示 OR；优先级为 NOT、AND、XOR、OR，需要时用括号。代码、函数、数字比较和移位不属于这个语法。

{
  "expression": "(A & B) | (A & C)",
  "dontCare": "False",
  "form": "both"
}

• 运行前先选输入模式，再确认该模式中的完整文本或原 File 就是要处理的来源。
• 所有输入都必须等价时保持 dontCare 为 False；只有能明确允许改变哪些行时才修改它。
• 在 JSON 中选择所需范式，保存表达式、报告与图之前核对每个请求形式均已完整完成。

确认 care 与 mask 身份

dontCare=true 的行允许新函数输出改变；dontCare=false 的每个 care 行必须与原函数一致。变量取 expression 与 dontCare 的并集，按 ASCII 排序，省掉的结果变量也仍保留在映射中。

小例变量为 A、B、C，A 是 bit0/mask1，B 是 bit1/mask2，C 是 bit2/mask4。行 mask3 因而是 A=1、B=1、C=0，原函数为 true，不要用其他库的位次假设替代这份映射。

核对精确目标的小例

当 dontCare=False 时，合成函数 (A & B) | (A & C) 的全部八行都是 care。DNF 为两个 AND 项，合计四个字面量；CNF 为 (B | C) & A，两个子句、三个字面量。先比较项或子句数，同数再比较字面量数。

若把同一函数的 dontCare 明确改成 ~A，care 仅剩 A=1 的四行。DNF 可以为 B | C（两项、两字面量），CNF 为 (B | C)（一子句、两字面量）。原变量 A 仍在真值表和 bit/mask 映射中；改变条件必须重新运行。

保存完整表、映射与图

检查报告 complete 状态及每个请求范式的精确完成状态，再下载完整产物。真值 CSV 保留全部行与原/DC/after；报告保留全部 prime、selected cube、mask、项/子句映射及成本，不能只保留屏幕上的表达式。

每种请求形式有一个完整 SVG，包含全部变量、选中项或子句、字面量、明确非门与常量，并忠实连接选中 cover。原 JSON 逐字节保存，有效 settings 与表达式文本一起交付。有限预览不替代完整下载或完整报告复制。摘要工作量记录编码前用量，整次总工作量预算仍覆盖之后的全部完整编码。

恢复并保留修改记录

最多 64 KiB、8 变量、4,096 token、1,000 合计 AST 节点，parser 与括号深度各 64；最多 256 真值行、6,561 cube。整次 10,000,000 工作量涵盖解析、全求值、每种 cover 搜索、核验、映射、图与完整编码。

整次 60 秒包含读源、加载、Worker、回调、完整校验、清理和首次发布。超限或取消整件失败，撤销旧成功，不发布部分或迟到结果。原件和参数可用于新的 Worker 恢复；主动缩减必须记录。完整文件加全部复制文本最多 8 MiB，内存预留预算 256 MiB。