题目
如何用等价代换证明((p∨q)→r)←→s如何证明是永假式、永真式还是可满足式?
提问时间:2021-02-24
答案
列一个真值表:
p q r s 式子
1 0 0 0
……
共2^4=16项,如果都是0,为永假,都是1则永真,有0有1为可满足
-----------------------------
奥,什么时候补充的,没有看到,不好意思.
求出析取范式和合取范式
((p∨q)→r)←→s
(((p∨q)→r)→s)∧(s→((p∨q)→r))
(¬((p∨q)→r)∨s)∧(¬s∨((p∨q)→r))
(¬(¬(p∨q)∨r)∨s)∧(¬s∨(¬(p∨q)∨r))
(¬((¬p∧¬q)∨r)∨s)∧(¬s∨((¬p∧¬q)∨r))
(¬((¬p∨r)∧(¬q∨r))∨s)∧(¬s∨((¬p∨r)∧(¬q∨r)))
((¬(¬p∨r)∨¬(¬q∨r))∨s)∧(¬s∨((¬p∨r)∧(¬q∨r)))
(((p∧¬r)∨(q∧¬r))∨s)∧(r∨¬s∨(¬p∧¬q)∨(¬p∧r)∨(¬q∧r))
(p∧¬r∧¬s)∨(q∧¬r∧¬s)∨(r∧s)∨(¬p∧¬q∧s)∨(¬p∧r∧s)∨(¬q∧r∧s) (析取范式)
(p∨q∨s)∧(p∨¬r∨s)∧(q∨¬r∨s)∧(¬r∨s)∧(¬p∨¬q∨r∨¬s)∧(¬p∨r∨¬s)∧(¬q∨r∨¬s) (合取范式)
一个命题是永真式当且仅当它的析取范式包含一个命题符号及其否定式
一个命题是永假式当且仅当它的合取范式包含一个命题符号及其否定式
在题目的情况下,原命题为可满足式
若令r=¬p,那么析取范式化为:
(p∧¬s)∨(p∧q∧¬s)∨(¬p∧s)∨(¬p∧¬q∧s)
再令s=¬p,化为:p∨(p∧q)∨¬p∨(¬p∧¬q)
此时,析取范式包含p和¬p,即为永真式.
p q r s 式子
1 0 0 0
……
共2^4=16项,如果都是0,为永假,都是1则永真,有0有1为可满足
-----------------------------
奥,什么时候补充的,没有看到,不好意思.
求出析取范式和合取范式
((p∨q)→r)←→s
(((p∨q)→r)→s)∧(s→((p∨q)→r))
(¬((p∨q)→r)∨s)∧(¬s∨((p∨q)→r))
(¬(¬(p∨q)∨r)∨s)∧(¬s∨(¬(p∨q)∨r))
(¬((¬p∧¬q)∨r)∨s)∧(¬s∨((¬p∧¬q)∨r))
(¬((¬p∨r)∧(¬q∨r))∨s)∧(¬s∨((¬p∨r)∧(¬q∨r)))
((¬(¬p∨r)∨¬(¬q∨r))∨s)∧(¬s∨((¬p∨r)∧(¬q∨r)))
(((p∧¬r)∨(q∧¬r))∨s)∧(r∨¬s∨(¬p∧¬q)∨(¬p∧r)∨(¬q∧r))
(p∧¬r∧¬s)∨(q∧¬r∧¬s)∨(r∧s)∨(¬p∧¬q∧s)∨(¬p∧r∧s)∨(¬q∧r∧s) (析取范式)
(p∨q∨s)∧(p∨¬r∨s)∧(q∨¬r∨s)∧(¬r∨s)∧(¬p∨¬q∨r∨¬s)∧(¬p∨r∨¬s)∧(¬q∨r∨¬s) (合取范式)
一个命题是永真式当且仅当它的析取范式包含一个命题符号及其否定式
一个命题是永假式当且仅当它的合取范式包含一个命题符号及其否定式
在题目的情况下,原命题为可满足式
若令r=¬p,那么析取范式化为:
(p∧¬s)∨(p∧q∧¬s)∨(¬p∧s)∨(¬p∧¬q∧s)
再令s=¬p,化为:p∨(p∧q)∨¬p∨(¬p∧¬q)
此时,析取范式包含p和¬p,即为永真式.
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
最新试题
- 12.甲乙丙三个足球队按一种新记分办法进行循环赛.这种计分办法规定:胜一场得10分,平一场各得5分,为奖励进球每进一球加1分.比赛中途统计各队得分:甲队3分,乙队7分,丙队21分,这时三队共进球数为(
- 2为什么这些句子,一个句子里有两个动词?
- 3已知CD⊥AB,AC2=AD•AB,求证: (1)CD2=AD•BD; (2)△ABC是直角三角形.
- 4若x²+y²-6y+4x+13=0,则x²-y²=
- 5维生素是有机物还是无机物?
- 6忽视空气阻力g=10 一个人跳过横杆后下落过程处于失重状态 为什么错
- 7若圆的周长为c,那么用代数式表示圆的半径是
- 8象声词举例子(汉语)
- 9英语测试给我答案
- 10反比例函数的综合题
热门考点