析取范式符号 怎样用主析取范式判断公式类型?

析取范式符号 怎样用主析取范式判断公式类型?

两个命题为互逆命题或互否命题,它们的真假性没有关系(原命题与逆否命题同真同假,逆命题与否命题同真同假)。当p和q皆真时,p∧q为真,p、q二者之一为假或二者皆假