离散数学,将公式化为前束范式,大侠帮帮忙。

求规范、准确的过程,谢谢。... 求规范、准确的过程,谢谢。 展开
 我来答
kent0607
高粉答主

2014-08-06 · 关注我不会让你失望
知道大有可为答主
回答量:6.2万
采纳率:77%
帮助的人:6887万
展开全部

          

<==> ∀x(A(x)→B(x,u))→(∃yC(y)→∃zD(v,z))                (自由变相替换)

<==> ¬(∀x(¬A(x)∨B(x,u)))∨(¬∃yC(y)∨∃zD(v,z))

<==> ∃x¬(¬A(x)∨B(x,u))∨(∀y¬C(y)∨∃zD(v,z))

<==> ∃x∀y∃z((A(x)∧¬B(x,u))∨(¬C(y)∨D(v,z)))

<==> ∃x∀y∃z((A(x)∧¬B(x,u))∨(C(y)→D(v,z)))

本回答被提问者采纳
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
富港检测技术(东莞)有限公司_
2024-04-02 广告
正弦振动多用于找出产品设计或包装设计的脆弱点。看在哪一个具体频率点响应最大(共振点);正弦振动在任一瞬间只包含一种频率的振动,而随机振动在任一瞬间包含频谱范围内的各种频率的振动。由于随机振动包含频谱内所有的频率,所以样品上的共振点会同时激发... 点击进入详情页
本回答由富港检测技术(东莞)有限公司_提供
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式