作业帮一题离散数学
来源：学生作业帮 编辑：拍题作业网作业帮 分类：数学作业 时间：2024/04/27 10:17:44
一题离散数学
（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 代表 或