Лариса Крушельницкая
Гений
(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