主析取范式和主合取范式的值是否相同