这里有一个问题,如果我们有两个语句
给定一组语句,我需要找出一个给定语句是
p=>q
和 q=>r
,那么它也意味着p=>r
。给定一组语句,我需要找出一个给定语句是
true
还是false或不能从给定的语句中得出结论。
例如:
给定语句p=>q, p=>r, q=>s
如果输入是p=>s
,我应该得到输出true
如果输入是p=>t
,我应该得到输出无法得出结论
如果输入是p=> ~p
,我应该得到输出false
这里我的问题是实现这个最好的数据结构是什么,并且使用什么算法。
谢谢。
~p 或 ~s and r
? - BenDundee