Discrete Mathematics and Its Applications, Seventh Edition

Published by McGraw-Hill Education
ISBN 10: 0073383090
ISBN 13: 978-0-07338-309-5

Chapter 1 - Section 1.3 - Propositional Equivalences - Exercises - Page 36: 64

Answer

$\lor^{9}_{i=1} \lor^{9}_{j=1} \lor^{9}_{n=1} P(i,j,n)$

Work Step by Step

We know that $P(i,j,n)$ asserts that the cell in row $i$ and column $j$ contains the number $n$. Now we can say that $\lor^{9}_{n=1} P(i,j,n)$ asserts that cell $(i, j)$ contains at least one number. Now to assert that each cell contains at least one number, we can take the conjunction of these statements over all cells : $\lor^{9}_{i=1} \lor^{9}_{j=1} \lor^{9}_{n=1} P(i,j,n)$
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.