Если у Вас в выражении n переменных, требуется перебрать 2^n комбинаций их значений (каждая переменная принимает значение 0 - ложно или 1 - истинно). В предложенном выражении две переменных, следовательно таблица истинности будет содержать 2^2=4 строки данных. По сути, это будут двоичные коды чисел от 0 до 2^n-1.
В колонках таблицы записываем (слева направо) значение каждой переменной и значения, получаемые при выполнении каждой операции в порядке вычисления выражения. Самая правая колонка будет содержать значение всего выражения.