[rules-users] Disjunctive normal form

[Mercier Jonathan]

Le 07/03/2014 12:43, Wolfgang Laun a écrit :
> 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
Perfect thanks