Логическая функция задаётся выражением. Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции. Определите, какому столбцу таблицы истинности соответствует каждая из переменных.

Проверим все сочетания переменных.

Если для первой строки сочетания дает верный результат, то проверяем для этого же сочетания переменных вторую, а затем третью строчку. Если в какой-то из строк условие не выполняется, то снова возвращаемся к первой строке и проверяем...