快速管理逻辑公式的系统和方法技术方案

本发明专利技术涉及一种用于简化复杂合式公式（WFF）的方法，其包括：在公式处理器（18）中接收输入WFF（100）和将输入WFF（100）转换成初始位数组（200）。该方法可进一步包括通过从初始位数组（200）中移除表示输入WFF（100）不需要的谓词（114）将初始位数组（200）简化成简化的位数组（212）。该方法可以包括将简化的位数组（212）转换成合取范式（142）或析取范式（140）形式的返回WFF（138）。

【技术实现步骤摘要】

【技术保护点】
一种用于简化复杂合式公式即WFF的方法，其包括下列步骤：在公式处理器（18）中接收输入WFF（100）并执行以下操作：使用公式转换器（20）将所述输入WFF（100）转换成初始位数组（200）；使用位数组简化器（22）通过从所述初始位数组（200）中移除表示所述输入WFF（100）所不需要的谓词（114）而将所述初始位数组（200）简化成简化的位数组（212）；和通过位数组转换器（24）将所述简化的位数组（212）转换成合取范式（142）或析取范式（140）形式的返回WFF（138）；和通过所述公式处理器（18）返回所述返回WFF（138）。

【技术特征摘要】
...

【专利技术属性】
技术研发人员：K·W·费尔蒂希，S·Y·雷迪，B·里金斯，
申请(专利权)人：波音公司，
类型：发明
国别省市：