THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 > False >

Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 > False >

MATHEMATICA 組込みシンボル

False

False
そのブール代数値が偽である記号である．

ブール式を評価する：

条件を使う：

構造特性をテストする：

数学特性をテストする：

ブール式を評価する：

Out[1]=

条件を使う：

Out[1]=

構造特性をテストする：

Out[1]=

数学特性をテストする：

Out[1]=

ブール値の真の記号：

ブール関数の真理値表：

Boole関数：

この文は自動的には解かれない：

FullSimplifyを使ってこの真理値を求める：

完全に限量詞が付いた式：

Resolveを使って真理値を求める：

Refineを使って指定の仮定の下で式の真理値を求める：