[rules-users] Disjunctive normal form

[Wolfgang Laun]

A set of rules establishes a disjunction.

If a rule contains a disjunction of Conditional Elements, it is
transformed into a disjunction of two rules.

Constraints within a CE (a pattern) are boolean expressions; they are
not affected by this.

-W

On 07/03/2014, Mercier Jonathan <jmercier at genoscope.cns.fr> wrote:
> Dear,
>
> Little question when we writing a rules.
> I would like to know if they are a difference between to write a rule as
> disjunctive normal form or not into Phreak graph ?
>
> Thanks
>
> Regards
> _______________________________________________
> rules-users mailing list
> rules-users at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users
>