|
-
Oct 1st, 2004, 12:31 AM
#1
Thread Starter
Addicted Member
Conjunctive normal form
Okay im converting a sentance into conjuntive normal form. Im stuck at the last step I think there is nothing that needs to be changed but I want to be sure.
{{P(x,G(x))^~q(g(x),x)}v{Q(G(x),x)^~S(x,G(x))}}V{~P(R(v),w)VS(R(V),w)}
Any advice will help me out alot this is homework and I want to be sure that this is ok as is without distributing the and's and or's.
Posting Permissions
- You may not post new threads
- You may not post replies
- You may not post attachments
- You may not edit your posts
-
Forum Rules
|
Click Here to Expand Forum to Full Width
|