Just a quick point.

XOR's formula is counting the number of Yess in row 2 and the relevant row. As far as I can see it won't take into account the last condition in your #5 which I assume to mean that there must be a Yes in the same column on each row for each Yes column in Row 2.

Or maybe I'm missing something.