I закон де Моргана: Отрицание дизъюнкции (логического сложения ИЛИ) двух простых высказываний равносильно конъюнкции отрицаний этих высказываний.

Задача (А. Рогов) Логическая функция F задаётся выражением: Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F. Определите, какому столбцу таблицы истинности соответствует каждая из переменных w, x, y, z. В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно...