命題論理 論理式、同値の法則、ド・モルガンの法則、分配律、論理積、論理和、否定
情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第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の解答を求めてみる。
命題論理 論理式の真偽 必要条件と十分条件 合成命題
情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、1.3(論理式の真偽)、1.3.3(必要条件と十分条件)、問題1.9の解答を求めてみる。