A是含有n个命题变元的命题公式,下列说法正确的是()


A是含有n个命题变元的命题公式,下列说法正确的是()

A、A是永真式当且仅当A的标准析取范式含有全部的最小项。

B、A是可满足式当且仅当A的标准析取范式至少含有一个的最小项。

C、A是永假式当且仅当A的标准合取范式含有全部的最大项。

D、A是可满足式当且仅当A的标准合取范式不包含所有最小项。

正确答案:A是永真式当且仅当A的标准析取范式含有全部的最小项。|A是可满足式当且仅当A的标准析取范式至少含有一个的最小项。|A是永假式当且仅当A的标准合取范式含有全部的最大项。


Tag:范式 小项 标准 时间:2024-05-07 14:43:38