4. Simplify the Boolean formula tr(M²) given the matrix M below with as few operations (AND, OR) as possible. The trace of a square matrix, denoted as tr(*) is defined by the summation of all diagonal elements in the matrix.