G = (xP(x)∨yQ(y))→xR(x),把G化成前束范式.解:G = (xP(x)∨yQ(y))→xR(x)= (xP(x)∨yQ(y))∨xR(x)= (xP(x)∧yQ(y))∨xR( )
G = (xP(x)∨yQ(y))→xR(x),把G化成前束范式.解:G = (xP(x)∨yQ(y))→xR(x)= (xP(x)∨yQ(y))∨xR(x)= (xP(x)∧yQ(y))∨xR( )
本站整理有大量高等教育、资格考试类试题答案，Ctrl+D收藏备用!
答案解析
上一篇: 红字余额用负数表示。