Преобразовать метод в пропозициональное утверждение

У меня есть домашнее задание, в котором даются логические функции, и я попросил записать его в виде простого логического пропозиционального утверждения. Я не понимаю, как преобразовать его в пропозициональный. Подразумевается ли возврат средств? а еще есть или? а вложенные, если имеется ввиду а?

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)

Я правильно понимаю?

Это не Java-код, почему вы так пометили его?

UnholySheep 13.10.2018 22:21

1) Сделайте отступ в коде для удобства чтения. 2) Ключевые слова Java пишутся строчными буквами, то есть false и true. 3) Параметры метода Java должны быть типизированы, например boolean p.

Andreas 13.10.2018 22:49

Даже если вы исправили код, второй пример не имеет смысла. Предполагаемые !p и !!r (r), что тогда?

Tom Hawtin - tackline 13.10.2018 23:06

это дискретное домашнее задание по математике, я думал, что это Java-код, потому что это ближайший язык, я думаю

j.Deo 16.10.2018 07:52
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
Как вычислять биты и понимать побитовые операторы в Java - объяснение с примерами
Как вычислять биты и понимать побитовые операторы в Java - объяснение с примерами
В компьютерном программировании биты играют важнейшую роль в представлении и манипулировании данными на двоичном уровне. Побитовые операции...
Поднятие тревоги для долго выполняющихся методов в Spring Boot
Поднятие тревоги для долго выполняющихся методов в Spring Boot
Приходилось ли вам сталкиваться с требованиями, в которых вас могли попросить поднять тревогу или выдать ошибку, когда метод Java занимает больше...
Полный курс Java для разработчиков веб-сайтов и приложений
Полный курс Java для разработчиков веб-сайтов и приложений
Получите сертификат Java Web и Application Developer, используя наш курс.
1
4
97
2

Ответы 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) }

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

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

Другие вопросы по теме