"如果A为非重言式的可满足式,则A的主析取范式至少含一个。"这道题是不是很难呢,如果不知道答案,接下来看一下小编就为大家提供一下正确答案哦。
如果A为非重言式的可满足式,则A的主析取范式至少含一个。
正确答案:极小项;小项;最小项