コンピューター用語辞典

日外アソシエーツ株式会社

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

日英・英日専門用語辞書

日中韓辭典研究所

ウィキペディア英語版

出典:Wikipedia

Implication graph

出典:『Wikipedia』 (2011/01/21 03:28 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

In mathematical logic, an implication graph is a skew-symmetric directed graph G(V, E) composed of vertex set V and directed edge set E. Each vertex in V represents the truth status of a Boolean literal, and each directed edge from vertex u to vertex v represents the material implication "If the literal u is true then the literal v is also true". Implication graphs were originally used for analyzing complex Boolean expressions.

Implication graphのページの著作権