将方法转换为命题陈述

Question

我有作业给出了一个布尔函数，并要求用一个简单的逻辑命题语句来写它。我不明白如何将其转换为命题的主要思想。返回手段是否暗示？否则是或？并嵌套如果意味着和？1boolean m_1(p, q, r){if (p || q)return (!r)elsereturn False}2    boolean m_10(p, q, r){if (p)if (r)return Falseelsereturn Trueelse if (!r)return (q)}我这样解决了第一个：pVq→¬rVF但我对第二个感到困惑我的答案是(pΛq → F) V (pΛ¬r → TVq)我理解正确吗？

Answer 1

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

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

Answer 2

我认为你是对的第一个。

第二个是这样的：(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)

}