已知命题公式(¬p→q)→(¬q∨p) |
您所在的位置：网站首页 › 宁波天气热吗现在温度多少 › 已知命题公式(¬p→q)→(¬q∨p) |
|
已知命题公式
(
¬
p
→
q
)
→
(
¬
q
∨
p
)
(\lnot p\rightarrow q)\rightarrow(\lnot q \lor p)
(¬p→q)→(¬q∨p)
构造真值表
p,q
(
¬
p
→
q
)
(\lnot p\rightarrow q)
(¬p→q)
(
¬
q
∨
p
)
(\lnot q \lor p)
(¬q∨p)
(
¬
p
→
q
)
→
(
¬
q
∨
p
)
(\lnot p\rightarrow q)\rightarrow(\lnot q \lor p)
(¬p→q)→(¬q∨p)0 ,00110,11001,01111,1111
求主析取范式
( ¬ p → q ) → ( ¬ q ∨ p ) (\lnot p\rightarrow q)\rightarrow(\lnot q \lor p) (¬p→q)→(¬q∨p) ( p ∨ q ) → ( ¬ p ∨ q ) (p\lor q)\rightarrow(\lnot p \lor q) (p∨q)→(¬p∨q) ¬ ( p ∨ q ) ∨ ( ¬ p ∨ q ) \lnot(p\lor q)\lor(\lnot p \lor q) ¬(p∨q)∨(¬p∨q) ( ¬ p ∧ ¬ q ) ∨ ( ¬ q ∨ p ) (\lnot p \land \lnot q)\lor (\lnot q \lor p) (¬p∧¬q)∨(¬q∨p) ( ¬ p ∧ ¬ q ) ∨ ¬ q ∨ p (\lnot p\land \lnot q)\lor \lnot q\lor p (¬p∧¬q)∨¬q∨p ( ¬ p ∧ ¬ q ) ∨ ¬ q ∧ ( p ∨ ¬ p ) ∨ p ∧ ( q ∨ ¬ q ) (\lnot p\land \lnot q)\lor \lnot q\land(p\lor \lnot p)\lor p\land(q\lor \lnot q) (¬p∧¬q)∨¬q∧(p∨¬p)∨p∧(q∨¬q) ( ¬ p ∧ ¬ q ) ∨ ( ¬ q ∧ p ) ∨ ( ¬ q ∧ ¬ p ) ∨ ( p ∧ q ) ∨ ( p ∧ ¬ q ) (\lnot p\land \lnot q)\lor(\lnot q\land p)\lor (\lnot q\land \lnot p)\lor (p\land q)\lor(p\land \lnot q) (¬p∧¬q)∨(¬q∧p)∨(¬q∧¬p)∨(p∧q)∨(p∧¬q) ( ¬ p ∧ ¬ q ) ∨ ( ¬ q ∧ p ) ∨ ( p ∧ q ) (\lnot p\land \lnot q)\lor (\lnot q\land p)\lor(p\land q) (¬p∧¬q)∨(¬q∧p)∨(p∧q) |
今日新闻 |
推荐新闻 |
| CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3 |