Если (a[0] AND b[0]) OR (a[1] AND b[1]), и так далее, даст ненулевой результат, тогда w_sum(a,b) вернет положительную оценку. А если один из столбцов будет иметь отрицательное значение, тогда к нему применится операция NOT.