极小项:在简单合取式中每个變元及其否定不同时存在,但两者之一必须出现且仅出现一次这样的简单合取式叫做布尔合取也叫小项或极小项。两个命题变元pq所构荿的所有小项为: p^q,p^┐q┐p^q,┐p^┐q
极大项:在简单析取式中每个变元及其否定不同时存在,但两者之一必须出现且仅出现一次,这样的简单析取式叫做布尔析取也叫大项或极大项两个命题变元p,q所构成的所有大项为:pvqpv┐q,┐pvq┐pv┐q
6.真值表法求主析取范式
7.真值表法求主合取范式
8.等价演算求主析取范式
9.等价演算求主和取范式
13.一阶逻辑前束范式--即把所有的量词放在最前面