微软 命题变元 命题公式 图形 判定问题 判定规则 芯片组 个人电脑 求解算法 硬件配置 范式 穿线树 处理器