将方法转换为命题陈述答案

【问题标题】：convert a method to propositional statement将方法转换为命题陈述
【发布时间】：2018-10-13 20:20:31
【问题描述】：

我有一个给出布尔函数的作业，并要求将其写成一个简单的逻辑命题语句。我不明白如何将其转换为命题。是回报的意思吗？否则是或？ and 嵌套 if 表示 and?

boolean m_1(p, q, r){
if (p || q)
return (!r)
else
return False}

    boolean m_10(p, q, r){
if (p)
if (r)
return False
else
return True
else if (!r)
return (q)}

我这样解决了第一个问题：

pVq→¬rVF

但我对第二个感到困惑

我的答案是

(pΛq→F)V(pΛ¬r→TVq)

我理解正确吗？

【问题讨论】：

这不是 Java 代码，为什么要这样标记它？
1) 缩进代码以提高可读性。 2) Java 关键字全部小写，即false 和true。 3) Java 方法的参数必须是类型化的，例如boolean p.
即使您确实修复了代码，第二个示例也没有任何意义。假设!p 和!!r (r)，然后呢？
这是离散数学作业，我认为它的 java 代码因为它是我认为最接近的语言

【解决方案1】：

我认为你在第一个方面是对的。

第二个是这样的： (pΛq→F)V(pΛ¬r→T)V(¬pΛ¬r -> q)

不幸的是，我不是正式注意到这些的专家。这样更容易看到：

boolean m_10(p, q, r){ if (p) if (r) return False else return True else if (!r) return (q) }

【讨论】：

【解决方案2】：

通过使用你的符号，如果第一个例子是正确的，那么第二个可以这样写：

(p→¬r)V(¬pΛ¬r→q)

【讨论】：