一题离散数学

来源:学生作业帮助网 编辑:六六作业网 时间:2024/04/30 17:11:04
一题离散数学一题离散数学一题离散数学(1)(pn(p->q))->q=(pn(*pVq))->q=((pn*p)V(pnq))->q=(pnq)->q=*(pnq)Vq=*pv*qvq=T是永真式(2

一题离散数学
一题离散数学

一题离散数学
(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 代表 或