(5 points) The boolean operation equivalence is defined by the following truth table: X Y X EQUIV Y TIF TT Define a calculus representation for equivalence: def equiv = x.y (5 points) The boolean operation equivalence is defined by the following truth table: X Y X EQUIV Y TIF TT Define a calculus representation for equivalence: def equiv = x.y