LogicalExpand

利用可能

Expand logical expression to disjunctive normal form.

形式

LogicalExpand[expr]

検証済みの例LogicalExpand[a] → a

Qurakで実行リファレンスを検索

トピック

Algebraic Transformations - Logical & Boolean Operations »
Boolean Computation - Predicate Calculus
Inequalities - General
Manipulating Equations - General
Polynomial Systems - Equation Structure
Series Expansions - General

関連

Expand PiecewiseExpand Reduce BooleanConvert Implies Resolve And Not Or CoefficientArrays CoefficientList Integrate

全 6300 関数 · MCPクライアントから使う