命题构建器
命题是能判断真假的陈述句
简单命题
中国坚持以人民为中心
真
科技创新是第一动力
真
所有问题都能立即解决
假
复合命题
坚持党的领导 并且 依法治国
真
如果发展经济，那么改善民生
真
绿水青山 就是 金山银山
真
命题联结词
通过联结词构建复合命题
否定 (NOT)
¬$\neg p$
p: 政策已完善
¬p: 政策未完善
合取 (AND)
∧$p \land q$
p: 经济发展
q: 环境保护
p∧q: 经济发展且环境保护
析取 (OR)
∨$p \lor q$
p: 线上服务
q: 线下服务
p∨q: 提供线上或线下服务
条件 (IF-THEN)
→$p \rightarrow q$
p: 群众有需求
q: 政府要回应
p→q: 如果群众有需求，则政府要回应
等价 (IFF)
↔$p \leftrightarrow q$
p: 人民幸福
q: 国家富强
p↔q: 人民幸福当且仅当国家富强
交互式真值表
构建并分析逻辑表达式的真值