Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
How to map a Table of a Propositional Calculus wff ’s values to that wff [Important Data Manipulation Problem ]?
Replies:
2
Last Post:
Dec 17, 2012 8:09 AM




Re: How to map a Table of a Propositional Calculus wff�s values to that wff [Important Data Manipulation Problem]?
Posted:
Dec 16, 2012 5:32 PM


In article <a11ee1a7443d49638b885b5071a9f5f7@r3g2000vbn.googlegroups.com>, CharlieBoo <shymathguy@gmail.com> wrote:
> .... > There is easily a wff of ORs of ANDs of sets of variable or their > negations, such as: > > (~P ^ Q ^ R) v ( P ^ ~Q ^ R) v (P ^ Q ^ ~R) (1) > .... > I want a wff of ANDs of ORs of sets of variables and their negations > e.g.: > > ( P ) ^ ( ~Q v R ) ^ (P v ~R) ^ (~P v Q v R) (2) > ....
To make a start with two variables, search for "Karnaugh maps".
Ken Pledger.



