成真赋值与成假赋值
探索不同条件（赋值）下命题的真假，理解"实践是检验真理的唯一标准"
设定命题公式
选择联结词示例:
当前选择: 自定义
成真赋值 (T)
成假赋值 (F)
命题公式分类
永真式（重言式）、永假式（矛盾式）与可满足式
永真式 (Tautology)
无论变元如何取值，公式恒为真。
核心价值
例如：$p \lor \neg p$ (发展是硬道理)
永假式 (Contradiction)
无论变元如何取值，公式恒为假。
根本错误
例如：$p \land \neg p$ (自相矛盾)
可满足式 (Satisfiable)
至少存在一种赋值使公式为真。
具体政策
例如：$p \rightarrow q$ (因地制宜)
智能判定器
等待输入...
情景模拟：寻找成真之路
通过调整"政策变量"（赋值），实现"国家发展目标"（命题为真）
当前目标：乡村振兴
$$ (p \land q) \lor (r \land s) $$
只有当产业兴旺(p)且生态宜居(q)，或者乡风文明(r)且治理有效(s)时，才能实现目标。
等待实践...