7.求下列公式的主析取范式,再用主析取范式求主合取范式.-|||-(1)(p^q)Vr
8.求下列公式的主合取范式,再用主合取范式求主析取范式.-|||-(1) (plambda q)arrow q-|||-(2) (parrow q)arrow
1.12 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。1.12 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。
1.12 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值.-|||-(1) (pV(q(N)_(r)))arrow (pNqNr).-|||-(2)
7、公式" (pDelta q)V(-pVr) "的主合取范式为:-|||-A、M0.-|||-B、M4-|||-C、M6-|||-D、M0△M4^M6.
求主析取范式:A=(p→¬q)→r A m0∨m2∨m4 B m0∧m2∧m4 C m1∧m3∧m5∧m6∧m7 D m1∨m3∨m5∨m6∨m7求主析取范式:
[多选题] 求取子句集的步骤包括以下步骤,()、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。A . 消去“蕴含”连结词B . 减少“非”连结词的辖域C . 对变量标准化D . 消去存在量词
1.试证下面的等价式:-|||-(1) (-PA)(-QAR))cup (QAR)cup (PAR)=R;-|||-(2) arrow (Qarrow P)=7
[主观题]若关系模式R中没有非主属性,关系模式R属于_________范式.
[单选题]对于关系r,第三范式是r中的每个非主属性应满足()A.与主关键字存在单值依赖关系B.与主关键字存在多值依赖关系C.函数传递依赖主关键字D.非函数传递依赖主关键字