一个个命题公式称为合取范式仅当具有形式 :
A1∧A2.An (n≥1)
其中An 都是由命题变元或其否定组成的析取式.
这里A1,A2,..,An称为析取项(或简单析取式),n可取1,n=1时,Ak化为单个变元或单个变元否定,也即单个变元或单个变元否定均可看成析取项(简单析取式),同理单个变元或单个变元否定也均可看成合取项(简单合取式).
如 P∧(P∨┐Q∨R)∧(┐p∨Q),P∧Q∧(P∨┐Q)均是合取范式.
P∨(P∧┐Q∧R)∨(┐p∧Q),P∨Q∨(P∧┐Q)均是析取范式
猜你喜欢
- 1英语作文:给英语老师发一封英文电邮 你想请他给你一些如何提高听力和口语的建议
- 2由鸡翅的结构中可发现骨骼肌附着在( )上 A一块骨 B二块骨 C三块骨 D相邻不同骨
- 3“江头宫殿锁千门”是什么字?
- 4小明家承包了一个果园,去年果园收支相抵后,结余12000元.今年水果丰收,估计收入可比去年增加20%;并且
- 59.03×10的23次方个O3中含O3的质量为多少,含氧原子的质量为多少
- 6我会把我们的爱永远放在心里 英文怎么翻译 急
- 7舞蹈队比合唱队少24人,合唱队的60%和舞蹈队人数相等
- 8He doesn't like ______ kites.A、making B、makes C、make
- 913.______ is known to the world,Mark Twain is a great American writer.
- 10“玉不琢,不成器”的下一句