Solve the following prepositions.Verify whether these two expressions ~p v (~p ^ ~q) and ~p ^ (~p v ~q) are logically equivalent. write a truths table

1 Answer | Add Yours

lemjay's profile pic

lemjay | High School Teacher | (Level 3) Senior Educator

Posted on

The truth table for ~p v (~p ^ ~q) is:

 (INPUT)                                                            (OUTPUT)

p        q        ~p         ~q        (~p ^ ~q)        ~p v (~p ^ ~q)

T        T         F            F               F                       F              

T        F         F            T               F                       F

F        T         T            F               F                       T

F        F         T            T               T                       T


The truth table for ~p ^ (~p v ~q) is:

(INPUT)                                                           (OUTPUT)

` `p        q        ~p        ~q        (~p v ~q)        ~p ^ (~p v ~q)

T        T         F          F                F                        F

T        F         F          T                T                        F

F        T         T          F                T                        T

F        F         T          T                T                        T

Base on the truth tables above, given the same input, the two expressions result to same output.

Hence, ~p v (~p ^ ~q)  and ~p ^ (~p v ~q) are logically equivalent.  


We’ve answered 319,186 questions. We can answer yours, too.

Ask a question