你的问题描述不是很明白
是不是想问如何判断一个式子是析取范式还是合取范式.
只要看式子中连接每一项的连接词是∧还是∨,连接词是∧ 则式子为合取范式,为∨是析取范式.
例如:(A∨B∨C)∧(┐A∨┐B∨┐C)∧(A∨┐B∨C)是合取范式
(A∧B∧C)∨(┐A∧┐B∧┐C)∨(┐A∧B∧C)是析取范式
如果你是要问 如何把一个式子写为合取范式或者析取范式,那建议你再看看书,可以通过等价关系运算得出.
你的问题描述不是很明白
是不是想问如何判断一个式子是析取范式还是合取范式.
只要看式子中连接每一项的连接词是∧还是∨,连接词是∧ 则式子为合取范式,为∨是析取范式.
例如:(A∨B∨C)∧(┐A∨┐B∨┐C)∧(A∨┐B∨C)是合取范式
(A∧B∧C)∨(┐A∧┐B∧┐C)∨(┐A∧B∧C)是析取范式
如果你是要问 如何把一个式子写为合取范式或者析取范式,那建议你再看看书,可以通过等价关系运算得出.