将方法转换为命题陈述

Question

我有作业给出了一个布尔函数，并要求用一个简单的逻辑命题语句来写它。我不明白如何将其转换为命题的主要思想。返回手段是否暗示？否则是或？并嵌套如果意味着和？

1

boolean m_1(p, q, r){

if (p || q)

return (!r)

else

return False}

2

    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)

我理解正确吗？

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 Trueelse if (!r)    return (q)}