给定一个由输入/输出对组成的数据集,如何找到与数据一致的小 DNF?这个问题称为 DNF 最小化,在计算机科学史上以各种形式出现。在这篇由两部分组成的博客文章中,我将调查一些关于这个问题的复杂性的结果以及与学习 DNF 的一些联系。历史和动机。几十年来,DNF 最小化一直是逻辑综合界的核心问题。在这个领域,这个问题被称为“两级逻辑综合”。它有着悠久的历史,可以追溯到 1952 年奎因写的一篇名为“简化真值函数的问题”的论文。奎因的论文在某种程度上是对香农硕士论文“继电器和开关电路的符号分析”的回应,该论文将布尔代数引入了电路设计的研究。奎因对以下问题感兴趣。给定一个布尔函数(作为真值表),找到
E-6B Mercury Airborne Command Post
通信继电器和战略机载指令邮政飞机。提供可生存的,可靠的和可忍受的空降指挥,控制和沟通,与美国战略和非战略力量之间。
E-6B Mercury Airborne Command Post
通信继电器和战略机载指令邮政飞机。提供可生存的,可靠的和可忍受的空降指挥,控制和沟通,与美国战略和非战略力量之间。