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

Нам дана булева функция f(x,y,z) = ((¬x → ¬z) ~ y) → z. В нашей интерпретации знак «~» означает логическую эквиваленцию (то есть «↔»). Таким образом, функция имеет вид   f(x,y,z) = ((¬x → ¬z) ↔ y) → z. Ниже пошагово разберём решение задачи. ──────────────────────────── Шаг 1. Приведение выражения к более удобному виду Начнём с того, что запишем импликацию в виде дизъюнкции. Напомним, что p → q эквивалентно (¬p ∨ q). 1) Выражение (¬x → ¬z) можно переписать как   (¬(¬x) ∨ ¬z) = (x ∨ ¬z). 2) Таким образом, внутреннее выражение получается:   (x ∨ ¬z) ↔ y. 3) Затем вся функция – это   [(x ∨ ...