 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2021/digital-systems-linear-algebra-introduction-to-formal-proof/5/b/i/solution

E = 1000010000010010 .

Rows three and four of the identity matrix have been interchanged, so left multiplication interchanges those rows of any matrix.

 New to topics? Read the docs here!