理论基础：主合取范式:若干个极大项的合取.主析取范式:若干个极小项的析取.合取：同真取真,其余取假,就相当于集合中的取交集；析取：有真取真,同假取假,就相当于集合中的取并集.定理：（1）一个简单析取式是重言式当...