find a valuation satisfying an expression

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
  - 演算子
  - 概要
  - BooleanSimplify
  - Canonicalize
  - Dual
  - Environment
  - Satisfy
  - Tautology
  - TruthTable
  - インポート
  - エクスポート
  - ランダム
  - 含む
  - 標準化
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
- Bits
- codegen パッケージ
- CodeTools
- Document Tools パッケージ
- eBookTools パッケージ
- Grid パッケージ
- InstallerBuilder パッケージ
- Maplets パッケージ
- OpenMaple 外部関数 API
- オブジェクト
- オペレーション
- コード生成パッケージ
- コンパイル
- データ型
- デバッグ
- ドメイン
- パッケージ
- プロシージャと関数
- プロファイル
- マルチスレッドプログラミング
- モジュール
- リソース管理
- 並列プログラミング
- 乱数
- 低レベルの操作
- 入力と出力
- 処理フローの制御
- 名前と文字列
- 基本的な注意事項
- 外部ルーチンの呼出
- 式
- 注釈
- 画像処理
- 評価
- 論理
  - Quantifiers
  - Relations
  - オペレーション
  - ブール値
    - Logic パッケージ
    - verify
    - boolean (ブール値)
    - depends
    - evalb
    - evalhf/boolean
    - FAIL
    - has
    - hasoption
    - hastype
    - isdifferentiable
    - match
    - member
    - testeq
    - true
    - typematch
- 音声処理
- ★語彙スコーピング
- CompSeq 関数
- IsWorksheetInterface コマンド
- コードエディタ
- スタートアップコード
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

Logic[Satisfy] - find a valuation satisfying an expression

	Calling Sequence
	Satisfy(expr, alpha)

Parameters

expr	-	Boolean expression
alpha	-	(optional) list or set of names

Description

•	The Satisfy command returns a set of equations representing an assignment to the variables of the given Boolean expression expr that satisfy the expression expr. If expr is not satisfiable, then NULL is returned.