创建自己的小题库
搜索
【简答题】
用等值演算法判断以下公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值。
（p→（p∨q））∨（p→r）
手机使用
分享
复制链接
新浪微博
分享QQ
微信扫一扫
反馈
收藏
举报参考答案：
举一反三
【单选题】含有5个命题变元（要求名字中不含数字）和5个联结词的公式对应的完整真值表上能看到多少布尔量0或1？
A.
320
B.
640
C.
32
D.
3200
E.
6400
F.
1024
【单选题】在分析同步时序逻辑电路时，应包括以下几个步骤：①根据给定的同步时序电路，写出输出函数和激励函数表达式；②根据状态图，用文字描述电路的逻辑功能；③根据次态真值表和输出函数表达式，做出给定电路的状态表和状态图；④列出电路次态真值表。步骤顺序正确的是( )。
A.
①②③④
B.
①③②④
C.
②①③④
D.
①④③②
【单选题】下面哪一个命题公式是重言式
A.
（P∨R）∧（P ® Q ）
B.
P ® （Q∨R）
C.
（P∨Q） « （Q∨R）
D.
（P ® （Q ® R ）） ® （P ® Q ） ® （P ® R ）
相关题目：
【单选题】含有5个命题变元（要求名字中不含数字）和5个联结词的公式对应的完整真值表上能看到多少布尔量0或1？
A.
320
B.
640
C.
32
D.
3200
E.
6400
F.
1024
【单选题】在分析同步时序逻辑电路时，应包括以下几个步骤：①根据给定的同步时序电路，写出输出函数和激励函数表达式；②根据状态图，用文字描述电路的逻辑功能；③根据次态真值表和输出函数表达式，做出给定电路的状态表和状态图；④列出电路次态真值表。步骤顺序正确的是( )。
A.
①②③④
B.
①③②④
C.
②①③④
D.
①④③②
【单选题】下面哪一个命题公式是重言式
A.
（P∨R）∧（P ® Q ）
B.
P ® （Q∨R）
C.
（P∨Q） « （Q∨R）
D.
（P ® （Q ® R ）） ® （P ® Q ） ® （P ® R ）
参考解析：
AI解析
重新生成
题目纠错 0
发布
