I need help understanding the following notation. I tried to expand it and that's where I realized I didn't quite get it. How do you expand the following: $${\underset{i=1}{\stackrel{3}{\bigwedge}}} {\underset{n=1}{\stackrel{3}{\bigwedge}}} {\underset{j=1}{\stackrel{3}{\bigvee}}}p(i,j,n)$$
I know that $\bigvee_{i=1}^{n} p_{i} = p_{1} \vee p_{2} \vee ... \vee p_{n}$ and the same for the logical conjunction $\bigwedge_{i=1}^{n} p_n$ but I don't see how they would be combined correctly.
In the textbook I'm reading this notation is used in an example about satisfiability. This particular example is about Sudoku and the expression is the assertion that every row contains every number. I changed it from 9 to 3 so it's easier to show the expansion.