Mathematica > 論理演算とブール代数 >

LogicalExpand

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