Recent content by Ziek_4790

exactly these two lines, how did it come to be from (and) to (Or), and where did the p in the left premise came from. thought that the right premise is (simplification with Idempotent Law ),but then I can't tell how the (and) flipped to (Or).

1. Consider the statement S =[¬(p ->q)]V[¬(pVq)]. (a) Construct truth tables for S. (b) Find a simpler expression that is logically equivalent to S.