![](https://img-blog.csdnimg.cn/20201014180756925.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
咸鱼子摸鱼代码工程
这个作者很懒,什么都没留下…
展开
-
第1关:熟悉命题联接词真值定义
第1关:熟悉命题联接词真值定义原创 2021-05-24 19:00:10 · 455 阅读 · 0 评论 -
第8关:判断条件的相容性
任务描述某项任务需要在A,B,C,D,E五个人中派一些去完成,但派人是要求受下列的条件约束,(1)若A去,则B必去;(2)D,E两人中必有人去;(3)B,C两人中有人去,但只能去一人;(4)C,D两人要么都去,要么都不去;(5)若E去,则A,B都去。问:是否存在符合上述所有约束的选派方法呢?设a:派A去。 b:派B去。 c:派c去。d:派D去。 e:派E去。(1)a→b(2)d∨e(3)(b∧┐c)∨(┐b∧c)(4)(c∧d)∨(┐c∧┐d)(5)e→(a∧b)通过求解命题公式原创 2021-05-24 19:13:37 · 463 阅读 · 0 评论 -
第7关:求命题公式的真值表
任务描述本关任务:编写一个程序,打印给定命题公式的真值表。相关知识为了完成本关任务,你需要掌握:1.五个命题联接词的真值定义1.列真值表时命题变元的排序顺序,真值指派的排列顺序2.中缀式命题公式转换为后缀式命题公式3.利用后缀式求特定真值指派下命题公式的真值#####五个命题联接词的真值定义为了输入方便,把教材中所使用的五个命题联接词符号(¬、 ∧、 ∨、→、↔),替换为(!、&、|、-、=)符号。其真值定义如下:#####命题变元的真值指派设p1,p2,…,pn是出现在公式A原创 2021-05-24 19:10:56 · 4591 阅读 · 0 评论 -
第6关:把中缀式命题公式转换为后缀式命题公式
任务描述本关任务:编写程序,把包含!、&、|、-、= 等(即¬、 ∧、 ∨、→、↔)等命题联接词,以及左右小括号符号的中缀命题公式转换为后缀命题公式。相关知识为了完成本关任务,你需要掌握:1.五个命题联接词的运算优先级定义2.后缀式的定义3.中缀式转换为后缀表达式的算法。命题联接词的真值定义命题逻辑中常用的五个命题联接词符号分别是:¬、 ∧、 ∨、→、↔,为程序调试输入方便,把上述五个命题联接词分别替换为!、&、|、-、=,且规定这五个命题联接词的运算优先级从高到低的顺序为:原创 2021-05-24 19:08:04 · 432 阅读 · 0 评论 -
第5关:计算后缀式命题公式的真值
任务描述本关任务:编写程序,计算后缀式命题公式在特定赋值下的真假值。相关知识为了完成本关任务,你需要掌握:1.五个命题联接词的真值定义2.后缀式的定义3.后缀式的计算方法。命题联接词的真值定义为了输入方便,把教材中所使用的五个命题联接词符号(¬、 ∧、 ∨、→、↔),替换为(!、&、|、-、=)符号。其真值定义如下:后缀式的定义【后缀式(逆波兰式)】一个表达式E的后缀形式可以如下定义:(1)如果E是一个变量或常量,则E的后缀式是E本身。(2)如果E是op E1 形式的表达式原创 2021-05-24 19:06:52 · 449 阅读 · 0 评论 -
第4关:生产命题变元的真值指派
任务描述本关任务:编写一个程序生成命题公式真值表中命题变元的各种真值指派。相关知识为了完成本关任务,你需要掌握:1.什么是命题变元的真值指派2.真值表中命题变元真值指派的排列顺序3.命题变元真值指派的生成算法命题变元的真值指派设p1,p2,…,pn是出现在公式A中的所有命题变元,给p1,p2,…,pn各指定一个真值,称为对公式A的一个真值指派(也称解释)。一个命题变元有两种取值,n个命题变元共有2的n次方个真值指派。真值表中命题变元真值指派的排列顺序在列真值表时,命题变元按照符号的升序从原创 2021-05-24 19:03:59 · 1367 阅读 · 0 评论 -
第3关:生成多个命题公式的命题变元字典
【问题描述】给定多个合法的命题公式,编写一个程序,提取所有命题公式中的以单个小写字母(‘a’~‘z’)表示的命题变元,并按命题变元字母的升序顺序,输出命题变元字典。【输入】本题只有一组测试数据,测试数据为表示多个命题公式的多行字符串,字符串的长度N不超过100,且命题公式中的命题变元符号均为小写字母(‘a’~‘z’)。【输出】测试数据输出一行,该行中按命题变元字母升序顺序输出。【输入样例】r∨p↔qa∨b【输入样例】abpqr开始你的任务吧,祝你成功!...原创 2021-05-24 19:03:11 · 391 阅读 · 0 评论 -
第2关:生成单个命题公式的命题变元字典
【问题描述】给定一个合法的命题公式,编写一个程序,提取命题公式中的所有以单个小写字母(‘a’~‘z’)表示的命题变元,并按命题变元字母的升序顺序,输出命题变元字典。【输入】本题单组测试数据,测试数据为单独占一行的表示命题公式的字符串,字符串的长度N不超过100,且命题公式中的命题变元符号均为小写字母(‘a’~‘z’)。【输出】测试数据输出一行,该行中按命题变元字母升序顺序输出。【输入样例】r∨p↔q【输入样例】pqr开始你的任务吧,祝你成功!...原创 2021-05-24 19:02:04 · 401 阅读 · 0 评论