(¬(p → (((¬q) ∧ r)) ∨ ((¬p ∨ r) ∧ (q ∧s)))) 化简问题
(¬(p → (((¬q) ∧ r)) ∨ ((¬p ∨ r) ∧ (q ∧s))))
⇔(￢(￢p∨((￢q∧r) ∨(￢p∨r∧q∧s))))
⇔(￢(￢p∨(￢q∧r∨￢p∨r∧q∧s)))
⇔(￢(￢p∨(F∧r∨￢p∧r∨s))) 请问，我这样化简对吗，接下来该怎么化简啊,主要是两个r， 不知道该怎么办
(¬(p → (((¬q) ∧ r)) ∨ ((¬p ∨ r) ∧ (q ∧s))))
⇔(¬(¬p ∨ (((¬q) ∧ r)) ∨ ((¬p ∨ r) ∧ (q ∧s))))
⇔p ∧ (¬r ∨ q) ∧ ((¬r ∧ p) ∨ (¬q ∨ ¬s))
⇔((¬r ∧ p) ∨ ( p ∧ q)) ∧ ((¬r ∧ p) ∨ (¬q ∨ ¬s))
⇔(¬r ∧ p) ∨ (( p ∧ q) ∧ (¬q ∨ ¬s))
⇔(¬r ∧ p) ∨ (( p ∧ q ∧ ¬q)∨( p ∧ q ∧ ¬s))
⇔(¬r ∧ p) ∨ ( p ∧ q ∧ ¬s)
⇔p ∧ (¬r ∨(q ∧ ¬s))
希望可以帮助到你追问
问一下，你化简的第三步到第四步
⇔((¬r ∧ p) ∨ ( p ∧ q)) ∧ ((¬r ∧ p) ∨ (¬q ∨ ¬s))
⇔(¬r ∧ p) ∨ (( p ∧ q) ∧ (¬q ∨ ¬s))
最后的一个 ∧ 应该是∨， 对吗？ 这里感觉你的化简步骤不对，是吗？ 还是我错了。
然后，你的化简最后一步，应该能够把所有的括号都去掉，这样做可以吗？
我好像没算错吧？就是结合律啊，(a∨b)∧(a∨c)=a∨(b∧c)
最后一步的要去掉括号的话，要调整顺序，不能直接去
q ∧ ¬s ∨ ¬r ∧p
多谢指点，我明白了，我错了，还有，我想问个题，
p ∧ q ∨ r → ¬ p 这个题，是不是第一步应该化简为 ¬（p ∧ q ∨ r ）∨¬ p， 还是其他什么形式？
一般来说，→不出现在最后结果中，¬要放到括号里面
离散数学的符号化命题,求高人指点
（1）设“看电影”为p，“复习功课”为q，符号化为：¬p∧q （2）设“下雨”为p，“看电影”为q，“读书”为r，“看报”为s，符号化为：(¬p→q)∧((p→(r∨s))（3）设“复习功课”为p，“看电影”为q，符号化为：¬p←q （4）设“气温在零度以下”为p，“在...
离散数学-命题公式范式总结
，析取式为(p ∧q ∧r) ∨ (¬p ∧¬q ∧ ¬r)。在求解主范式时，主合取范式和主析取范式通常等价，通过命题公式推导或真值表法计算。例如，对于(p ∨ ¬q) → (r → q)，可以转化为(p ∨ q) ∧ (¬p ∨ r)，进一步简化或通过真值表找到对应的小项和...
联言命题的负命题公式
联言命题的负命题公式：¬（p←→q）”，其等值于（¬p∧q)∨(p∧¬q)。在逻辑学中，命题分为简单命题和复合命题两大类，不同的命题类别，会有不同的命题连接词。首先说简单命题的命题连接词，简单命题分为两类：直言命题（性质命题）和关系命题。直言命题的连接词只有“是”和...
离散数学,求(p→r)∧(q→﹁r)∧(﹁r→(p∨q)) 的主析取范氏,详细一些...
(p→r)∧(q→¬r)∧(¬r→(p∨q))⇔ (¬p∨r)∧(¬q∨¬r)∧(r∨(p∨q)) 变成 合取析取⇔ (¬p∨r)∧(¬q∨¬r)∧(r∨p∨q) 结合律⇔ (¬p∨(¬q∧q)∨r)∧((¬p∧p)∨¬q∨&#...
逻辑学的问题,求好心人帮忙
（1）(¬p∨¬q)←(r∧s)（2）¬(¬r∨¬s)（3）q 推导过程如下：由（2）可得（4）：r∧s（选言命题负命题的等值命题）；由（1）和（4）可得（5）：¬p∨¬q（必要条件假言推理肯定后件式）；由（3）和（5）可得：¬p（相容选言推理的...
如何判断一个逻辑公式的主析取范式和主合取范式呢?
(¬p→q)→(¬q∨p)观察这个表达式，整体是一个条件式；条件式成真的赋值有3种，成假的赋值有1种；以成假赋值为例：原式的成【假】赋值要求：(¬p→q)真、(¬q∨p)假；第一项(¬p→q)还是条件式，成真赋值有3：¬p真q真，¬p假q真，¬p...
离散数学,,,求答案
¬q∨r 前提2 q→r 等值蕴含式 ¬r 前提3 ¬q 拒取式 【2】¬p 拒取式【由1，2得到】（2）p∨¬r 前提3 r→p 等值蕴含式 p→(q→s) 前提1 r→(q→s) 前提三段论 ¬r∨(¬q∨s) 等值蕴含式 q→(¬r∨s) 等值蕴含式 q→(r→s...
离散数学的题有会的大佬么 打钩的题 1 2 5 事关清考 请不要乱搞_百度知...
⇔ ¬(¬P∨Q)∨(Q∧(P∨R)) 变成 合取析取 ⇔ (P∧¬Q)∨(Q∧(P∨R)) 德摩根定律 ⇔ (P∧¬Q)∨((Q∧P)∨(Q∧R)) 分配律 ⇔ (P∧¬Q)∨(P∧Q)∨(Q∧R) 结合律 ⇔ (P∧¬Q∧(¬R∨R))∨(P...
((P→Q)∧(R→S))∧(P∨R)→Q∨S用归谬赋值法判断推理是否正确_百度...
等价于：非(非P∨Q)∨非(非R∨S))∨非(P∨R)∨Q∨S 等价于：(P∧非Q)∨(R∧非S))∨(非P∧非R)∨Q∨S 等价于：(P∧非Q)∨Q∨(R∧非S))∨S∨(非P∧非R)等价于：((P∨Q)∧(非Q∨Q))∨((R∨S)∧(非S∨S))∨(非P∧非R)等价于：(P∨Q)∨(R∨S)∨(非P∧非R...
德摩根定律怎么证明?
¬P∨R) 德摩根定律 ⇔(P∧¬Q)∨(Q∧¬R)∨¬P∨R 结合律 ⇔¬Q∨(Q∧¬R)∨¬P∨R 合取析取 吸收率 ⇔¬Q∨¬R∨¬P∨R 合取析取 吸收率 ⇔¬P∨¬Q∨¬R∨R 交换律 排序 ...
