Sign in to follow this  
ToohrVyk

"Canonical" : Normal forms?

Recommended Posts

I just answered a question about canonical forms of logical formulas. IMHO the asker referred to normal forms, for which there are links: Conjunctive Normal Form (the one above) Disjunctive Normal Form (yours) However, the poster deleted his thread, but hopefully this can be of some use to somebody.

Share this post


Link to post
Share on other sites
Just as a note, in boolean algebra/digital logic, the conjunctive normal form is also called a "product of sums" since "and" and "or" are typically written as, well, products and sums.

Similarly the disjunctive nf is sometimes called "sum of products".

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

Sign in to follow this