合取范式

合取式

就是各个语句之间是与的关系,如A∩B∩C

(其中,A、B、C分别是一个子句)

析取式

就是各个语句之间是并的关系,如A∪B∪C

 

合取范式:

全部由析取范式子句合取而成的范式

例如:

A∩(D∪B∪C)∩(E∪F)

你可能感兴趣的:(c)