Java 将方法转换为命题语句

我的家庭作业是给出一个布尔函数，并要求用一个简单的逻辑命题语句来写。 我不明白如何把它转换成命题。 回报意味着什么？否则是什么？和嵌套如果意味着和

一,

二,

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

pVq→-rVF

但我对第二个感到困惑

我的答案是

（p∧q）→F） V（p∧r）→(TVq)

---

我理解正确吗？

我认为你在第一个问题上是对的

第二个是这样的： （p∧q）→F） V（p∧r）→T） V（p∧r->q）

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

布尔m_10（p，q，r）{ 如果（p） if（r） 返回错误 其他的 返回真值 else如果（！r） 回报（q）

---

}

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

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

---

这不是Java代码，为什么要将其标记为Java代码？1）缩进代码以提高可读性。2） Java关键字都是小写的，即

false

和

true

。3） Java方法的参数必须键入，例如，

boolean p

。即使您修复了代码，第二个示例也没有任何意义。假设

！p
和
！！r
（
r
），然后呢？这是离散数学作业，我认为它是java代码，因为它是我认为最接近的语言
    boolean m_10(p, q, r){
if (p)
if (r)
return False
else
return True
else if (!r)
return (q)}

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