用于简化的命题逻辑

摘要

从逻辑电路、逻辑网络图和事故树等几个方面论述了命题逻辑在简化方面的途径，具有一定的实用价值。