DOCUMENTATION CENTER SEARCH
Mathematica
>
論理演算とブール代数
>
Mathematica
組込みシンボル
関係演算子と論理演算子
チュートリアル »
|
LogicalExpand
BitNot
Nand
Nor
関連項目 »
|
論理演算とブール代数
Mathematica シンタックス
式の判定
その他 »
Not
(!, ¬)
!
expr
論理否定関数で,式
expr
が
True
の場合には
False
を,そして
False
の場合には
True
を返す.
詳細
Not
[
expr
]
は,
¬
expr
のように,
StandardForm
や
InputForm
で入力できる.文字
は
Esc
!
Esc
,
Esc
not
Esc
あるいは
\[Not]
として入力できる.
»
Not
は,さまざまな簡約化の規則を適用し必要に応じて記号的な結果を与える.
テキスト用のフロントエンドで
Mathematica
を使う際,
!
expr
が行の先頭に置かれる場合は式
!
expr
を
Not
[
expr
]
の代りに使うことはできない.この場合,
!
expr
はシェルエスケープと解釈されるためである.
»
例題
すべて閉じる
例
(3)
アサーションを否定する:
In[1]:=
Out[1]=
記号的否定:
In[1]:=
Out[1]=
Esc
not
Esc
を使って入力:
In[1]:=
Out[1]=
スコープ
(4)
アプリケーション
(2)
特性と関係
(4)
考えられる問題
(1)
関連項目
LogicalExpand
BitNot
Nand
Nor
チュートリアル
関係演算子と論理演算子
その他
論理演算とブール代数
Mathematica シンタックス
式の判定
関連リンク
NKS|Online
(
A New Kind of Science
)
バージョン 1 の新機能 | バージョン 3 での修正機能
© 2008 Wolfram Research, Inc.