如果已知公式A的主析取范式为m0∨m3，公式B的主析取范式也为m0∨m3那么，下列说法中正确的有：

A、公式A与公式B都是非重言式的可满足式

B、如果公式A与公式B含有相同的命题变项，则公式A与公式B的主合取范式都是M1∧M2

C、公式A与公式B的主合取范式都是M1∧M2

D、如果公式A与公式B含有的命题变项全部相同，公式A与公式B等值。

E、如果公式A与公式B都是含有两个命题变项的公式，则公式A与公式B的主合取范式都是M1∧M2

正确答案：公式A与公式B都是非重言式的可满足式|如果公式A与公式B含有的命题变项全部相同，公式A与公式B等值。|如果公式A与公式B都是含有两个命题变项的公式，则公式A与公式B的主合取范式都是M1∧M2