命題論理 論理式の標準形 論理式と論理回路 ANDゲート、ORゲート、NOTゲート、論理積、論理和、否定
情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、1.4(論理式の標準形)、1.4.3(論理式と論理回路)、問題1.16の解答を求めてみる。
Posts
命題論理 論理式の標準形 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の解答を求めてみる。
命題論理 論理式の真偽 必要条件と十分条件 合成命題
情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、1.3(論理式の真偽)、1.3.3(必要条件と十分条件)、問題1.9の解答を求めてみる。
命題論理 論理式の真偽 逆 反例
情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、1.3(論理式の真偽)、1.3.2(逆)、問題1.8の解答を求めてみる。
命題論理 論理式の真偽 論理式の真理値表
情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、1.3(論理式の真偽)、1.3.1(論理式の真理値表)、問題1.7の解答を求めてみる。