使用开发者模式找到User—Agent

概览极大项和极小项主范式定义求解定理真值表技术主范式应用极大项和极小项1.主范式的引用因为范式的不唯一性，我们对构成范式的子句和短语进一步规划，形成主析取范式和主合取范式。2.极大项和极小项的定义每个命题变元及其否定不同时出现，至多出现出现一次若有n个命题变元，则应有2的n次方个不同的极小项和2的n次方个不同的极大项3.极小项的性质没有两个不同的极小项是等价的，每个极小项只有一组解释使其为真，极小