$A \lor I = A \equiv A \land I = I$?

31 Views Asked by At

Is the following statement a tautology? $$A \lor I = A\Leftrightarrow A \land I = I$$

where $A$ is an $n$ by $n$ logical matrix and $I$ is the $n$ by $n$ identity matrix.