1) X V Z -> X V Y Так как скобок нет, то по приоритету порядок действий такой: 1) V; 2) -> Можно переписать так: (X V Z) -> (X V Y) Импликация раскрывается так: A -> B = ~A V B (~ - это НЕ, инверсия) (X V Z) -> (X V Y) = ~(X V Z) V (X V Y) = (~X /\ ~Z) V X V Y = = Y V (X V ~X) /\ (X V ~Z) = Y V 1 /\ (X V ~Z) = Y V ~(~X /\ Z) Это верно
2) а) F = (P -> R) -> ~QR = (~P V R) -> ~QR = ~(~P V R) V ~QR - СНФ б) ~(~P V R) V ~QR = P /\ (~R) V ~QR = P(~R) V ~QR - СДНФ