製品
製品の一覧
Mathematica
Mathematica
学生エディション
Mathematica
ホームエディション
Wolfram
CDF Player
(無料ダウンロード)
CDF(計算可能ドキュメント形式)
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Wolfram
SystemModeler
Wolfram
Finance Platform
Mathematica
アドオン
Wolfram|Alpha関連製品
ソリューション
ソリューションの一覧
工学
航空宇宙工学と防衛
化学工学
制御系
電気工学
画像処理
生産工学
材料科学
機械工学
オペレーションズリサーチ
光学
石油工学
バイオテクノロジーと医学
バイオインフォマティクス
医用画像処理
金融,統計,ビジネスの分析
保険数理
データの解析とマイニング
計量経済学
経済学
金融工学と数学
財務リスク管理
統計
ソフトウェア工学とコンテンツ配信
オーサリングと出版
インターフェース開発
ソフトウェア工学
Web開発
科学
天文学
バイオサイエンス
化学
環境科学
地球科学
社会・行動科学
デザイン,芸術,娯楽
ゲームデザイン・特殊効果・ジェネレーティブアート
教育
高等教育
短大・専門学校
初等・中等教育
学生
テクノロジー
CDF(計算可能ドキュメント形式)
高性能並列計算(HPC)
参照:テクノロジーガイド
ご購入
オンラインストア
他の購入方法
Volumeライセンスとサイトライセンス
販売部へのご連絡
ソフトウェア
サービス
アップグレード
トレーニング
書籍
Wolframグッズ
サポート
テクニカルサポートページ
Mathematica
ドキュメント
知識ベース
ラーニングセンター
テクニカルサービス
コミュニティ & フォーラム
トレーニング
サイトライセンスの確認
Wolframユーザポータル
会社概要
会社概要
ニュースとイベント
Wolframブログ
パートナーシップ
採用情報
Mathematica
の歴史
Stephen Wolframのホームページ
連絡先
Wolfram Webサイト
サイトの一覧
Wolfram|Alpha
デモンストレーションプロジェクト
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE
DOCUMENTATION CENTER
FOR THE LATEST INFORMATION.
Mathematica
>
数学とアルゴリズム
>
離散数学
>
ブール計算
>
Mathematica
>
数学とアルゴリズム
>
論理演算とブール代数
>
ブール計算
>
Mathematica
組込みシンボル
関係演算子と論理演算子
論理結合した方程式の解法
チュートリアル »
|
Xor
BooleanConvert
LogicalExpand
BitOr
Nor
And
Not
Disjunction
Union
BooleanCountingFunction
関連項目 »
|
ブール計算
離散数学
言語の概要
論理演算とブール代数
Mathematica
シンタックス
式の判定
その他 »
Or
(||,
)
e
1
||
e
2
||
...
論理和(OR関数)である.これは,与えられた引数を順に評価していき,いずれかが
True
を与えると直ちに
True
を返し,すべてが
False
を与えると
False
を返す.
詳細
Or
[
e
1
,
e
2
,
...
]
は,
として
StandardForm
と
InputForm
に入力することができる.記号
は
Esc
||
Esc
,
Esc
or
Esc
または
\[Or]
として入力される.
Or
は属性
HoldAll
を持ち,引数の評価を明示的に制御する.
において,
は順番に評価さる.そのいずれかが
True
と判明した時点で評価は中止される.
Or
は,必要に応じて
False
である初期の引数を削除し,記号的な結果を与える.
例題
すべて閉じる
例
(4)
2つの表明文を||で繋ぐ:
In[1]:=
Out[1]=
記号的論理和:
In[1]:=
Out[1]=
方程式系:
In[1]:=
Out[1]=
Esc
or
Esc
を使って入力する:
In[1]:=
Out[1]=
スコープ
(5)
アプリケーション
(6)
特性と関係
(5)
関連項目
Xor
BooleanConvert
LogicalExpand
BitOr
Nor
And
Not
Disjunction
Union
BooleanCountingFunction
チュートリアル
関係演算子と論理演算子
論理結合した方程式の解法
その他
ブール計算
離散数学
言語の概要
論理演算とブール代数
Mathematica
シンタックス
式の判定
関連リンク
NKS|Online
(
A New Kind of Science
)
バージョン 1 の新機能 | バージョン 3 での修正機能