Применяя равносильные преобразования постройте СДНФ без таблицы истинности

Давайте преобразуем выражение (¬x∧z)=(y→z) в СДНФ. Сначала заменим импликацию на эквивалентное выражение: (¬x∧z)=(¬y∨z). Теперь применим закон равенства: (¬x∧z)∧(¬y∨z) = 1. Раскроем скобки: (¬x∧¬y∧z) ∨ (¬x∧z∧z) = 1. Упростим: (¬x∧¬y∧z) ∨ (¬x∧z) = 1. Получили СДНФ: (¬x∧¬y∧z) ∨ (¬x∧z).