一题离散数学
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/07/16 11:58:38
一题离散数学
![](http://img.wesiedu.com/upload/0/e3/0e3846532b85da0d2f9a787a4d80bfed.jpg)
![](http://img.wesiedu.com/upload/0/e3/0e3846532b85da0d2f9a787a4d80bfed.jpg)
![一题离散数学](/uploads/image/z/7550782-70-2.jpg?t=%E4%B8%80%E9%A2%98%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6)
(1) (p n (p->q) )->q = (p n ( *p V q))->q = ((p n *p) V (p n q))->q = (p n q)->q =*(p n q) V q = *p v *q v q = T 是永真式
(2) (*p -> r ) n (p q) =( pvr) n (*pvq) n (*qvp) = ((pvr)v(qn*q))n(*pvq)n(*qvp) = (pvqvr)n(pv*qvr)n(*pvqvr)n(*pv*qvr)n(pv*qv*r) 这个叫什么式,忘记了,你应该知道了吧
注: n 代表 与
* 代表 非
v 代表 或
(2) (*p -> r ) n (p q) =( pvr) n (*pvq) n (*qvp) = ((pvr)v(qn*q))n(*pvq)n(*qvp) = (pvqvr)n(pv*qvr)n(*pvqvr)n(*pv*qvr)n(pv*qv*r) 这个叫什么式,忘记了,你应该知道了吧
注: n 代表 与
* 代表 非
v 代表 或