Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

logic.to_cnf is not working properly #13

Closed
GoogleCodeExporter opened this issue Feb 20, 2016 · 2 comments
Closed

logic.to_cnf is not working properly #13

GoogleCodeExporter opened this issue Feb 20, 2016 · 2 comments

Comments

@GoogleCodeExporter
Copy link

What steps will reproduce the problem?
import logic
logic.to_cnf("A | (B | (C | (D & E)))")

What is the expected output? What do you see instead?
expected: (D | A | B | C) & (E | A | B | C)
got this instead: (A | B | C | (D & E))
i.e. no effect except that that Nary correctly raised the '|' operations.

What version of the product are you using? On what operating system?
latest as of Oct 5th 2009
running on ubuntu linux, but it's likely  not related to my OS.

Please provide any additional information below.
The issue is likely in the distribute_and_over_or procedure.
to_cnf("A | (B | (C & D))") produces the correct output, so it's not
properly recursing.

Original issue reported on code.google.com by john.a.f...@gmail.com on 6 Oct 2009 at 1:49

@GoogleCodeExporter
Copy link
Author

Also, I noticed that to_cnf does not deal with xor at all.
>>>to_cnf("A ^ B")
A ^ B
which is not CNF form.

Original comment by john.a.f...@gmail.com on 6 Oct 2009 at 3:03

@GoogleCodeExporter
Copy link
Author

This issue was closed by revision r83.

Original comment by wit...@gmail.com on 4 Oct 2011 at 4:14

  • Changed state: Fixed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant