преобразовать метод в высказывание

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

Используя ваши символы и если 1-й пример верен, то 2-й можно записать так:

(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) }