Problem 1: Show that the following propositional forms are tautologies using formal ma- nipulation rules: (X+Y)^(X + 2) + X+YAZ X =(Y = Z) + XAY #Z X Y = [Z = X = (ZY)] X=Y= [X = (Y + 2) (X = Z)]