Construct a truth table for (p ^ ~q) ↔ p .
-
p ... q ... ~q ... p ^ ~q ... (p ^ ~q) <--> p
T ... T ... F ........ F .................. F
T ... F ... T ........ T .................. T
F ... T ... F ........ F .................. T
F ... F ... T ........ F .................. T
T ... T ... F ........ F .................. F
T ... F ... T ........ T .................. T
F ... T ... F ........ F .................. T
F ... F ... T ........ F .................. T
-
aqs