Simplify (Using Laws): show ~(p \/ ~q) \/ (~p /\ ~q) = ~p

Sequences, counting (including probability), logic and truth tables, algorithms, number theory, set theory, etc.
salvarez83
Posts: 1
Joined: Sun Oct 03, 2010 2:04 pm
Contact:

Simplify (Using Laws): show ~(p \/ ~q) \/ (~p /\ ~q) = ~p

Postby salvarez83 » Sun Oct 03, 2010 2:09 pm

Can someone show me how to simplify the following statement using laws. Such as communicative, distributive, de morgans law, etc?

I need to show:

~(p \/ ~q) \/ (~p /\ ~q)

Equals:

~p

Thanks.

User avatar
Martingale
Posts: 350
Joined: Mon Mar 30, 2009 1:30 pm
Location: USA
Contact:

Re: Simplify (Using Laws): show ~(p \/ ~q) \/ (~p /\ ~q) = ~

Postby Martingale » Sat Oct 30, 2010 5:42 pm

salvarez83 wrote:Can someone show me how to simplify the following statement using laws. Such as communicative, distributive, de morgans law, etc?

I need to show:

~(p \/ ~q) \/ (~p /\ ~q)

Equals:

~p

Thanks.










Return to “Discrete Math”

cron