ファイル:BDD simple.svg
ウィキペディアから無料の百科事典
元のファイル (SVG ファイル、189 × 241 ピクセル、ファイルサイズ: 5キロバイト)
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
---|---|---|---|---|---|
現在の版 | 2007年3月5日 (月) 18:35 | 189 × 241 (5キロバイト) | Brighterorange | ||
2007年3月5日 (月) 18:18 | 512 × 564 (5キロバイト) | Brighterorange | {{Information| |Description = BDD graph for the Boolean formula -x1 * -x2 * -x3 + x1 * x2 + x2 * x3 |Source = self-made using [http://directory.fsf.org/math/CrocoPat.html CrocoPat], a tool for relational programming, and GraphViz dot, a tool for graph |
ファイルの使用状況
以下のページがこのファイルを使用しています:
グローバルなファイル使用状況
以下に挙げる他のウィキがこの画像を使っています:
- en.wikipedia.org での使用状況
- fr.wikipedia.org での使用状況
- he.wikipedia.org での使用状況
- hi.wikipedia.org での使用状況
- nl.wikipedia.org での使用状況
- ru.wikipedia.org での使用状況
- sr.wikipedia.org での使用状況
- uk.wikipedia.org での使用状況