4. (4 points) Show that (p → q) ^ (q → p) is logical equivalent to (p ^ q) v (~q^~p) by using Logical Equivalence Table
Posted: Thu Jun 30, 2022 7:51 pm
4. (4 points) Show that (p → q) ^ (q → p) is logical equivalent to (p ^ q) v (~q^~p) by using Logical Equivalence Table (see the last page). Please specific the reason for each step.