33题：用消解法判断下述公式是否是可满足的
题目
33题：用消解法判断下述公式是否是可满足的
答案
33. 1）p∧(┐p∨┐q)∧q(p∧q)∧(┐p∨┐q) ((p∧q)∧┐p)∨((p∧q)∧┐q)0∨00是矛盾式； 2）(p∨q)∧(p∨┐q)∧(┐p∨r)(p∨q)∨r)∧((p∨q)∨┐r)∧((p∨┐q)∨r)∧((p∨┐q)∨┐r)∧((┐p∨r)∨q)...
举一反三
已知函数f（x）=x，g（x）=alnx，a∈R．若曲线y=f（x）与曲线y=g（x）相交，且在交点处有相同的切线，求a的值和该切线方程．
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
最新试题
- yourself come for see and 连词成句
- 请仿照下面的语句,用比喻的修辞手法写一段话,介绍男孩或女孩.
- 9乘1.8-1.2x=3.6
- 1.I smiled at her but she just i__ _ me.2.he tried to ___ (使平静)the baby but failed.3.they c
- 英语翻译
- 人类有哪些破坏动植物资源的行为
- how to keep traditional customs(china) alive?英文作答,中英文更好
- 顺水逆水的问题?甲乙两地,顺水每小时20KM,逆水每小时15KM现从甲到乙和回程用时少5小时.求甲乙间距离.大家不要想到用方程哦.另外公倍数的概念也没有学过.
- This is an English pen
- 布朗先生这星期工作吗?怎么翻译
热门考点
- sports,does,need,for,bags,Simon(?) 连词成句
- 翻译 后天就五一了,你打算去干吗 回答 本打算去看我表哥的,但是现在计划有点变化
- 小明在解方程3x-四分之一=四分之三x-（）时,不小心把墨水滴到作业本上,已知x=-1,括号中该补几
- 数学脑筋急转弯!
- 1、 When they were making the famous moon-walk,millions of people watched them through television.
- 已知y分之x=2,2x²-3xy+5y²分之x²-3xy+y²的值
- 已知α β为锐角,且cosα=7分之1,cos(α+β)=负的14分之11,求cosβ
- 长方体的底面是周长为12厘米的正方形,高是5厘米,长总和是（）厘mi
- 命题p:函数y=x^3-3ax+1在x属于R上有极值点,命题q:y=lg[x^2-2ax+1]的值域为R
- 大（）景（）
© 2017-2019 超级试练试题库,All Rights Reserved.