早教吧作业答案频道 -->其他-->
(¬(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)))V
题目详情
(¬(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∨(￢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))
(¬(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))
看了 (¬(p→(((¬q)∧r)...的网友还看了以下：
若“p或q”成立的充分条件是“￢r”，则推理：①p或q⇒￢r；②￢r⇒p；③r⇒￢（p或q）；④￢ 2020-04-06 …
(¬(p→(((¬q)∧r))∨((¬p∨r)∧(q∧s))))(¬(p→(((¬q)∧r))∨( 2020-06-06 …
（2014•临沂一模）已知命题p：若a=（1，2）与b=（-2，λ）共线，则λ=-4；命题q：∀k 2020-07-12 …
若p是真命题，q是假命题，则（）A．pVq是假命题B．p∧￢q是假命题C．￢pV￢q是真命题D．￢ 2020-08-01 …
已知命题p：3≥3，q：3＞4，则下列判断正确的是（）A．p∨q为真，p∧q为假，￢p为假B．p∨ 2020-08-01 …
关于命题p：A∩∅=∅，命题q：A∪∅=A，则下列说法正确的是（）A.（￢p）∨q为假B.（￢p） 2020-08-01 …
离散数学初学者,证明逻辑等价严格证明￢(P↔Q)与(P∧Q)∧￢(P∧Q)等价,期望有具体步骤 2020-11-15 …
命题“若p则q”的否定是（）A．若p则￢qB．若￢p则￢qC．若￢q则￢pD．若q则p 2020-12-09 …
已知命题p：a，b，c成等比数列的充要条件是b2=ac；命题q：∀x∈R，x2-x+1＞0，则下列结 2020-12-23 …
已知命题p：∃x∈R，cosx=54；命题q：∀x∈R，x2-x+1＞0．则下列结论正确的是（）A． 2020-12-23 …