Условие:
Минимизировать функцию алгебры логики (ФАЛ) аналитическим способом и произвести проверку правильности ее выполнения табличным способом.
Минимизация ФАЛ аналитическим способом осуществляется в следующем порядке.
1.1. Над исходной ФАЛ проставляются номера выполняемых действий.
1.2. Исходная ФАЛ представляется в базисе И, ИЛИ, НЕ. Производится ее преобразование к виду, удобному для минимизации.
1.3. Используя основные законы и равносильности (соотношения) алгебры логики, производится минимизация исходной ФАЛ, представленной в базисе И, ИЛИ, НЕ, с указанием порядка действий.
1.4. По полученной в результате минимизации ФАЛ составляется таблица истинности.
1.5. Строится таблица истинности исходной ФАЛ.
1.6. Производится проверка равенства значений функции на всех наборах в таблицах истинности исходной и минимизированной ФАЛ.
Исходные данные по варианту:
