is this procedure right in proving a logical equivalence?

Printable View