21、求公式(P∨Q)→R的主析取范式。
22、求公式?x(F(x)∧?yG(x,y,z))? ?xH(x,y,z)的前束范式。
23、已知偏序集的哈斯图如下图所示, 试求出集合A和关系R的表达式.
24、设A={1,2,3,4}, 定义A上的关R={<1,1>,<1,2>,<2,3>,<2,4>,<4,2>}。求R的关系矩阵MR和关系图GR?
21、求公式(P∨Q)→R的主析取范式。
22、求公式?x(F(x)∧?yG(x,y,z))? ?xH(x,y,z)的前束范式。
23、已知偏序集的哈斯图如下图所示, 试求出集合A和关系R的表达式.
24、设A={1,2,3,4}, 定义A上的关R={<1,1>,<1,2>,<2,3>,<2,4>,<4,2>}。求R的关系矩阵MR和关系图GR?