Для заданной аналитически логической функции 𝑥 ∨ 𝑦 → 𝑧 ∨ у

1) Укажите количество независимых переменных (n), рассчитайте количество строк таблицы истинности, постройте таблицу истинности, заполняя вспомогательные столбцы с промежуточными результатами (в порядке выполнения операций).

2) Выпишите по таблице истинности двоичные наборы и их десятичные эквиваленты, на которых функция принимает значение «истина». Для каждого двоичного набора запишите соответствующий ему минтерм, составьте СДНФ функции.

3) Выполните упрощение (минимизацию) СДНФ методом Квайна.