ブール代数パズル

論理パズルを命題論理とブール代数を使って解くサイトです。

1 基礎編

1-1 キルヒホッフの実証論
1-2 ブール代数
1-3 命題論理
1-4 ブール代数の計算ドリル

2 基本編

2-1 命題が成立した状態での、論理和
2-2 命題が成立した状態での、論理積
2-3 命題が成立した状態での、同値変形
2-4 真の場合と、偽の場合で、場合分け

3 応用編

3-1 ある人物の名前と年齢
3-2 OverLaps述語
3-3 もっとも美しいのは誰
3-4 正直者の奈々
3-5 犬と狐
3-6 黒いビン
3-7 5人の容疑者
3-8 盗み食い
3-9 盗み食い2
3-10 割れたガラス
3-11 犯人は誰？

4 発展編

4-1 暗い森

姉妹サイト

OracleSQLパズル
MySQLパズル
PostgreSQLパズル
DB2 SQLパズル
正規表現パズル
Javaアルゴリズムパズル
C#のサンプル集
C++のサンプル集
SQLServerのSQLのサンプル集
JavaScriptのサンプル集
競技プログラミングのソース置場