Jaa


Extensions.DisjunctiveNormalForm(Expression) Method

Definition

Rewrite expression into disjunctive normal form.

public static AdaptiveExpressions.Expression DisjunctiveNormalForm (this AdaptiveExpressions.Expression expression);
static member DisjunctiveNormalForm : AdaptiveExpressions.Expression -> AdaptiveExpressions.Expression
<Extension()>
Public Function DisjunctiveNormalForm (expression As Expression) As Expression

Parameters

expression
Expression

Expression to rewrite.

Returns

Normalized expression.

Remarks

Rewrites to either a simple expression or a disjunction of conjunctions or simple expressions with not pushed down to leaves.

Applies to