西安电子科技大学$1.6.2逻辑推理软件学院【例题】一个热力站有5个阀门控制对外送暖气，这些阀门的使用必须遵守以下操作规则：（1）如果开启1号阀，那么必须打开2号阀且关闭5号阀：（2）如果开启2号阀或者5号阀，则要关闭4号阀；（3）不能同时关闭3号阀和4号阀。现要打开1号阀，请问还要同时打开其余哪些阀门？解答：规则2规则3规则1打开2号阀—>关闭4号阀打开3号阀打开1号阀叫（关闭5号阀西安电子科技大学 §1.6.2 逻辑推理 软件学院 【例题】一个热力站有5个阀门控制对外送暖气，这些阀门的 使用必须遵守以下操作规则： （1）如果开启1号阀，那么必须打开2号阀且关闭5号阀； （2）如果开启2号阀或者5号阀，则要关闭4号阀； （3）不能同时关闭3号阀和4号阀。 现要打开1号阀，请问还要同时打开其余哪些阀门？ 打开1号阀 解答： 打开2号阀 关闭5号阀 { 关闭4号阀 打开3号阀 规则2 规则3 规则1