Предположим, что запись означает логическое выражение
w ∨ ¬x ∨ (y ∧ ¬z) (¬ — отрицание, ∧ — и, ∨ — или).

Всего возможных наборов для 4 переменных: 2^4 = 16.

Выражение ложно тогда и только тогда, когда все дизъюнкты ложны:

w = 0,¬x = 0 ⇒ x = 1,y ∧ ¬z = 0 ⇒ либо y = 0, либо z = 1 (или оба).

При w=0, x=1 допустимы три комбинации (y,z): (0,0), (0,1), (1,1). Итого 3 набора дают ложь выражения.

Значит истина при 16 − 3 = 13 наборах.