Здравствуйте, Zloe Zlo!
Составим таблицу истинности для исходной формулы:
Упростим исходную формулу, используя основные логические законы, например, так:
В результате получилась совершенная конъюнктивная нормальная форма (СКНФ) исходной формулы.
Составим таблицу истинности для полученной СКНФ:
Сравнивая логические значения в последних столбцах обеих таблиц, видим, что они совпадают, как и должно быть.
Об авторе:
Facta loquuntur.