A classmate who is new to logic shows you how they (perhaps inefficiently) tried to simplify an expression. They said they tried to use some of the basic boolean laws you just learned about. Which boolean law was NOT used?

(A∨(B∧C))∧T

((A∨B)∧(A∨C))∧T

((A∨B)∧(A∨C))

((A∨C)∧(A∨B))