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 - СДНФТаблица истинности исходной формулыP | Q | R | P -> R | ~QR | F0 | 0 | 0 | 1 | 0 | 00 | 0 | 1 | 1 | 1 | 10 | 1 | 0 | 1 | 0 | 00 | 1 | 1 | 1 | 0 | 01 | 0 | 0 | 0 | 0 | 11 | 0 | 1 | 1 | 1 | 11 | 1 | 0 | 0 | 0 | 11 | 1 | 1 | 1 | 0 | 0Таблица истинности конечной формулыP | Q | R | P~R | ~QR | F0 | 0 | 0 | 0 | 0 | 00 | 0 | 1 | 0 | 1 | 10 | 1 | 0 | 0 | 0 | 00 | 1 | 1 | 0 | 0 | 01 | 0 | 0 | 1 | 0 | 11 | 0 | 1 | 0 | 1 | 11 | 1 | 0 | 1 | 0 | 11 | 1 | 1 | 0 | 0 | 0Результаты совпадают.3) Таблица истинностиP | Q | R | F0 | 0 | 0 | 10 | 0 | 1 | 10 | 1 | 0 | 10 | 1 | 1 | 11 | 0 | 0 | 01 | 0 | 1 | 01 | 1 | 0 | 11 | 1 | 1 | 0Построим СДНФ и упростимF = ~P~Q~R V ~P~QR V ~PQ~R V ~PQR V PQ~R == ~P~Q&(~R V R) V ~PQ&(~R V R) V PQ~R = ~P~Q V ~PQ V PQ~R == ~P&(~Q V Q) V PQ~R = ~P V PQ~RСхема на рисунке