Proving A Tautology By Using Logical Equivalences Yismaw E1 8b A8 E1 88 B5 E1 88 9b E1 8b 8d