[antlr-interest] Factorization of Logic Expressions

Mark Ruvald wabsie at gmail.com
Thu Apr 1 02:51:12 PDT 2010


Hi,

2010/3/17 Nazim Oztahtaci <nazim_oztahtaci at hotmail.com>

>
> [...] a DNF representation: ab+ac. [...]
> Now Im working on factorizing the DNF formed expressions back to
> originial [...]. So I need to factorize the DNF expression. [...]

I know that I cant reach the original expression everytime for the
> complicated expressions. Also for the reverse Demorgan, I cant use this
> matrix probably. I wanted to ask users of this mail group if they have any
> advice to me regarding an algorithm for this problem or a new way as
> solution.
>

Maybe http://en.wikipedia.org/wiki/And-inverter_graph can help you.


regards
-- Mark Ruvald.

A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing on usenet and in e-mail?


More information about the antlr-interest mailing list