Мы делали это следующим образом:
С начало составляется таблица истинности для 4 значений (х1, х2, х3, х4), после чего подавляются значения в пример (его можно разбить на несколько простых), в результате должно получится следующие решение.
Если что то непонятно пиши.
