‍用主范式方法判断求下列命题公式的主合取范式Ør∨Øp+®(+p«Øq)的类型?


【答案】:(P∨Q)→R=¬(P∨Q)∨R=(¬P∧¬Q)∨R=(¬P∨R)∧(¬Q∨R)=((¬P∨R)∨(Q八¬Q))∧((¬Q∨R)∨(P∧¬P))=(¬P∨Q∨R)∧(¬P∨¬Q∨R)∧(P∨¬Q∨R)∧(¬P∨¬Q∨R)=(¬P∨Q∨R)∧(¬P∨¬Q∨R)∧(P∨¬Q∨R).使其值为F的真值指派是(P:T,Q:F,R:F)或(P:T,Q:T,R:F)或(P:F,Q:T,R:F).主合(析)取范式又称为特异合(析)取范式.已赞过已踩过你对这个回答的评价是?评论
收起推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询下载百度知道APP,抢鲜体验使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。扫描二维码下载

求公式
的主析取范式与主合取范式,并求公式的成真赋值和成假赋值。
a1 = [0,0,0,0,1,1,1,1];
a2 = [0,0,1,1,0,0,1,1];
a3 = [0,1,0,1,0,1,0,1];
a4 = [1,1,0,0,1,1,0,0];
fprintf('在本题中用!代表非,&代表合取,->代表蕴涵,
代表析取')
fprintf('\n');
%输出p
fprintf('
p');
for i=1:8
fprintf(' %d ',a1

我要回帖

更多关于 求下列命题公式的主合取范式 的文章

 

随机推荐