3CNF Formula
- From: "meyousikmann" <meyousikmann@xxxxxxxxx>
- Date: Mon, 16 Apr 2007 22:17:19 -0500
I am working with 3CNF formulae and trying to figure out if there is some logical way to find a formula given a pair of satisfying assignments. For example, if I want to find a formula that can only be satisfied by the two assignments x1=0,x2=x3=1 and x1=x2=1, x3=0, is there some method to make this easy. Perhaps a truth table or Karnaugh map will help, but I am unsure how to apply either to find a solution. I am trying to understand some things about boolean algebra and digital logic and this item seems to escape me.
.
- Follow-Ups:
- Re: 3CNF Formula
- From: busygin@xxxxxxxxx
- Re: 3CNF Formula
- Prev by Date: Re: Man beaten by machine in drawing a thumbnail
- Next by Date: Re: 3CNF Formula
- Previous by thread: How to prove "Cfls are not closed under shuffling"
- Next by thread: Re: 3CNF Formula
- Index(es):