如果A为非重言式的可满足式,则A的主析取范式至少含一个。


如果A为非重言式的可满足式,则A的主析取范式至少含一个。

正确答案:极小项;小项;最小项


Tag:小项 重言 范式 时间:2022-08-11 22:43:24