f(x,y,z) = (¬x → ¬z) ~ y → z Составить таблицу истинности; Записать СДНФ и СКНФ функции.

Ниже приведём пошаговое решение на русском языке без форматирования.

1. Постановка задачи. Дана функция трех переменных
     f(x, y, z) = ((¬x → ¬z) ~ y) → z
   Предполагаем, что символ «~» означает логическую эквиваленцию (то есть «равносильность»). Таким образом, функция читается как
     [ (¬x → ¬z) эквивалентно y ] → z
   Где операция импликации A → B определяется как (¬A ∨ B), а операция эквиваленции (A ≡ B) можно записать как (A ∧ B) ∨ (¬A ∧ ¬B).

2. Разобъём функцию на подвыражения. Обозначим:
     A = ¬x
     B = ¬z
     C = (¬x → ¬z) = (A → B) = (¬A ∨ B)
     D = (C ≡ y)
     f = (D → z) = (¬...