Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 論理演算とブール代数 >
Mathematica 組込みシンボルチュートリアル »|関連項目 »|その他 »

LogicalExpand

LogicalExpand[expr]
&&や||等の論理結合子を含む式を展開する．
  • LogicalExpandは，いくつかの簡約化をともなう選言標準形に対応する論理積の項を論理和として生成する．
バージョン 1 の新機能
© 2013 Wolfram Research, Inc. English
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team