Mail.ruПочтаМой МирОдноклассникиВКонтактеИгрыЗнакомстваНовостиКалендарьОблакоЗаметкиВсе проекты

как это решить?(P->Q)^(Q->P(сверху над р подчёркивание))^(R->P) (P->Q)^(Q->P(сверху над р подчёркивание))^(R->P)

Анна Долгалёва Ученик (89), на голосовании 13 лет назад
Голосование за лучший ответ
Лариса Крушельницкая Гений (54025) 13 лет назад
F = (P -> Q)^(Q -> ~P)^(R -> P)

Воспользуемся соотношением
A -> B = ~A v B

Переписываем исходную формулу в виде:
F = (~P v Q)^( ~Q v ~P)^( ~R v P)

Раскрываем скобки. Перемножаем первые две:
F = (~P^Q v ~P^~P v Q^~Q v Q^~P)^( ~R v P)

Упрощаем первую скобку, пользуясь тождествами:
A^A=A
A^B=B^A
AvB=BvA
Av0=A
A^~A=0

Откуда
~P^Q v Q^~P = ~P^Q
~P^~P = ~P
Q^~Q=0

Получим исходную формулу в виде:
F = (~P^Q v ~P )^( ~R v P)

Воспользуемся правилом склейки:
A^B v A = A

Получим
F = ~P ^( ~R v P)

Раскрываем скобки
F = ~P ^ ~R v ~P ^ P = ~P ^ ~R

Окончательно получаем
F = ~P ^ ~R
Похожие вопросы