、求下列公式的主析取范式并求成真赋值:
,此即公式的主析取范式
、求下列公式的主合取范式,并求成假赋值:
此即公式的主合取范式,
、求下列公式的主析取范式再用主析取范式求主合取范式:
主析取范式中没出现的极小项为
,所以主合取范式中含有三个极大项
、用真值表法求下面公式的主析取范式:
解:公式的真值表如下:
去工作则根据题意应有:
分)茬谓词逻辑中构造下面推理的证明:某学术会议的每个成员都是专家并且是工人,有
些成员是青年人所以,有些成员是青年专家
解:論域:所有人的集合。