极小项星空：聚是一团火
每一个极小项 ($m_i$) 都是一个"基层单元"。点亮它们，汇聚成真理的火焰。
当前构成的公式 (主析取范式 PDNF)
$$ \emptyset $$
🔥
请点亮至少一个极小项...
主范式生成器：正本清源
将任意复杂的命题公式，转化为标准、唯一的主范式。
1. 真值表分析 (Truth Table)
➔
2. 提取项 (Extraction)
➔
3. 标准结果 (Result)
$$ \dots $$
思想统一验证：殊途同归
验证不同的表述（公式），是否具有相同的本质（主范式）。
表述 A
PDNF: ...
等待验证
表述 B
PDNF: ...