第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)
通过求解命题公式(1)&(2)&(3)&(4)&(5)的真值表，发现
当a=0,b=0,c=1,d=1,e=0 以及 a=1,b=1,c=0,d=0,e=1时
有命题公式(1)&(2)&(3)&(4)&(5)的真值为1；
故可以断定存在两种的选派方法，即派C和D同去，或者派A,B,E同去均可。
上述问题的求解，可以总结为，对给出的命题公式，求他们的合取式中是否为可满足式。
####【输入】
本题单组测试数据，包含若干个命题公式，每个命题公式占一行，且命题公式中只含有！、&、|、-、= 、（、）等命题连接词与括号，以及用小写英文字母表示的命题变元组成的中缀式命题公式串（串中不含空格等其他字符），串的长度为N，且（1<=N<=100）。

【输出】
若测试数据中的所有命题公式的合取式中，存在成真赋值，则输出“yes”，否则输出“no”

【输入样例】
a-b
d|e
(b&!c)|(!b&c)
(c&d)|(!c&!d)
e-(a&b)
####【输入样例】
yes

第8关：判断条件的相容性相关推荐

c语言for循环多条件判断,解决在for循环内判断条件多次执行
最近遇到的这个问题,就是在for循环内if判断的条件会多次执行. 例如,在返回的30数据中,a条目是第7条则会进行30次判断,弹出29次查无数据,也就是要点击29次关闭alert,很是让人不爽. 有了 ...
0字符串 if mapper test_mybatis的if判断条件将字符串解析成了数字
mybatis可以帮我们自动映射字段,在mapper.xml文件中,我们可以不用去写jdbcType来明确指定数据类型,它会自动解析成相对应的java数据类型,每次在使用了mybatis-genera ...
R语言ggplot2可视化：通过在element_text函数中设置ifelse判断条件自定义标签文本的显示格式：例如、粗体、斜体等
R语言ggplot2可视化:通过在element_text函数中设置ifelse判断条件自定义标签文本的显示格式:例如.粗体.斜体等目录
pandas使用query函数基于判断条件获得dataframe中满足条件的数据行(row)的索引列表（index of rows matching conditions in dataframe）
pandas使用query函数基于判断条件获得dataframe中满足条件的数据行(row)的索引列表(index of rows matching conditions in dataframe) ...
查询数据库返回cursor，如何判断没有符合条件的记录。判断条件不是cursor==null 哦
如题,接着说,如果查询数据库返回cursor,要判断记录是否为空,然后根据结果进行不同的操作.应该如何写判断条件呢? 很简单,用这个函数:cursor.getCount() . 如果记录为空,该函 ...
jpa中使用Query判断条件查询
jpa中使用Query判断条件查询 @Query(value = " select m.* from mining_area as m " +" where 1 = 1& ...
关于JS中switch语句的判断条件！
<!DOCTYPE HTML><html><head><meta http-equiv="C ...
获取项目版本号与设置引导页的判断条件
当我们首次安装软件打开后,会有5页左右的ScrollView滑动图片,来介绍这个软件的特色和功能,我们叫做引导页.这个引导页只有用户安装后第一次使用的时候才会加载,或者当用户进行版本升级后再次运行的首 ...
makefile ifneq多个判断条件_Python基础语法——条件判断
条件判断是根据一个或多个条件的结果来进行判断的. 例如一个自动调温器需要不停地检测温度,只要温度低于某个值,就会打开加热,而温度高于某个值,就要打开降温.这里需要将温度值进行比较,然后做出判断,有一个 ...

第8关：判断条件的相容性

第8关：判断条件的相容性相关推荐

最新文章

热门文章