求( p→q)→( q∨p)的主析取范式步骤解释
为什么我在求解出这个命题公式的主析取范式的时候
结果用m0∨m2∨m3表示，
如果我直接按照那个主析取范式和主合取范式的关系写出主合取范式的话
那住合取范式就是m1,那就应该是 ┐pVq ,可是为什么我一步一步算出来的却是 pV┐q
第一个应该是┐pVq 1 第二个是pV┐q （如果按照p先q后的顺序）
难道书上说的按照十进制从小到大排列 没有规定变元的顺序码？
如果是变元先后顺序可以随意排列的话 那以后按照主析取范式和主合取范式的关系 来写的话
那该注意些什么呢？