From Discrete Mathematics and its Applications, Kenneth H. Rosen, 7th Edition, Pg 54:
- For each cell with a given value, we assert p(i, j, n) when the cell in row I and column j has the given value n.
- We assert that every row contains every number: $\displaystyle\bigwedge\limits_{i=1}^9\bigwedge\limits_{n=1}^9\bigvee\limits_{j=1}^9p(i,j,n)$
I know that $\bigwedge$ and $\bigvee$ bear the same relation to $\land$ and $\lor$ respectively that $\sum$ does to +, i.e $\displaystyle\bigwedge\limits_{i=1}^np(i)$ can be interpreted as $p_1\land p_2\land p_3\land p_4...\land p_n$, but I don't know how to proceed when three symbols are together. Can someone please help :).