有色陶砖图片价格如何:谁会作离散数学-等值演算证明

来源:百度文库 编辑:查人人中国名人网 时间:2024/05/02 06:31:21
(1) p<=>(p&&q)||(p&&!q)
(2) !(p<->q)<=>(p||q)&&!(p&&q)
高等教育出版社39页1,3题。
由于没有有关符号,就用C语言的代替了。
!代表 否定。 &&代表合取(与) ||代表析取(或)
如果会的话请一定要告诉我,多谢了!

都化成主析取范式