計算機科学のブログ

Posts

命題論理論理式、同値の法則、分配律、ベキ等法則、含意の否定

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、章末問題1.3の解答を求めてみる。

命題論理論理式、同値の法則、ド・モルガンの法則、分配律、論理積、論理和、否定

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、章末問題1.2の解答を求めてみる。

命題論理論理式、命題の種類数、真理値表の行数

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、章末問題1.1の解答を求めてみる。

命題論理論理式の標準形論理式と論理回路 ANDゲート、ORゲート、NOTゲート、論理積、論理和、否定

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、1.4(論理式の標準形)、1.4.3(論理式と論理回路)、問題1.16の解答を求めてみる。

命題論理論理式の標準形 SAT 充足可能問題、リテラル、解法、Davis-Putnam法

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、1.4(論理式の標準形)、1.4.2(SAT)、問題1.15の解答を求めてみる。

命題論理論理式の標準形 CNFとDNF 変換手順

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、1.4(論理式の標準形)、1.4.1(CNFとDNF)、問題1.14の解答を求めてみる。

命題論理論理式の真偽論理式の同値除去、分配律、排中律

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、1.3(論理式の真偽)、1.3.5(論理式の同値)、問題1.13の解答を求めてみる。

命題論理論理式の真偽論理式の同値否定

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、1.3(論理式の真偽)、1.3.5(論理式の同値)、問題1.12の解答を求めてみる。

命題論理論理式の真偽論理式の同値真理表の作成

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、1.3(論理式の真偽)、1.3.5(論理式の同値)、問題1.11の解答を求めてみる。

命題論理論理式の真偽恒真と恒偽充足可能

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版 )の第1章(命題論理)、1.3(論理式の真偽)、1.3.4(恒真と恒偽)、問題1.10の解答を求めてみる。