设命题公式 ,A﹤==﹥-(P→Q)∨(Q∧(-P→R)) 求A的主析取范式和主合取范式。.
出自:西安石油大学-离散数学