[rules-users] Disjunctive normal form

Mark Proctor mproctor at codehaus.org
Fri Mar 7 08:47:35 EST 2014


for some additional info, this has not changed between our 5x and 6x engines, the built network is still the same.

Mark
On 7 Mar 2014, at 11:43, Wolfgang Laun <wolfgang.laun at gmail.com> wrote:

> 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
>> 
> _______________________________________________
> rules-users mailing list
> rules-users at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users




More information about the rules-users mailing list