ブール代数のトピックのリスト

これはブール代数と命題論理 に関するトピックのリストです。

幅広い範囲の記事と紹介

• 集合の代数
• ブール代数（構造）
• ブール代数
• 集合の体
• 論理接続詞
• 命題計算

ブール関数と接続詞

• アンフェック
• ブール関数の解析
• バランスブール関数
• ベント関数
• 標準的に定義されたブール代数
• ブール関数
• ブール行列
• ブール値関数
• 条件付き選言
• 回避ブール関数
• 排他的論理和
• 機能の完全性
• 論理双条件
• 論理積
• 論理和
• 論理的等価性
• 論理的含意
• 論理否定
• 論理NOR
• 多数決関数
• 材料条件付き
• ブール代数の最小公理
• ピアースの矢
• 一度だけ読み取る機能
• シェファーストローク
• 唯一の十分なオペレータ
• 対称ブール関数
• 対称差
• ジェガルキン多項式

ブール代数の例

• ブールドメイン
• 完全なブール代数
• 内部代数
• 2要素ブール代数

ブール代数の拡張

• 微分代数（抽象代数）
• 無料のブール代数
• モナドブール代数

ブール代数の一般化

• ド・モルガン代数
• 一階論理
• ハイティング代数
• リンデンバウム・タルスキー代数
• 歪んだブール代数

構文

• 代数正規形
• ブール結合クエリ
• 標準形（ブール代数）
• 連言標準形
• 選言正規形
• 正式なシステム

技術的応用

• アンドインバータグラフ
• 論理ゲート
• ブール解析

定理と特定の法則

• ブール素イデアル定理
• コンパクト性定理
• コンセンサス定理
• ド・モルガンの法則
• 双対性（順序理論）
• 古典論理の法則
• ピアースの法則
• ブール代数に対するストーンの表現定理

人々

• ブール、ジョージ
• デ・モーガン、オーガスタス
• ジェヴォンズ、ウィリアム・スタンリー
• ピアース、チャールズ・サンダース
• ストーン、マーシャル・ハーヴェイ
• ヴェン、ジョン
• ジェガルキン、イヴァン・イワノビッチ

哲学

• ブールの三段論法
• ブール含意
• エンティティグラフ
• 存在グラフ
• 形の法則
• 論理グラフ

視覚化

• 真理値表
• カルノー図
• ベン図

非公開

• ブール関数
• ブール値関数
• ブール値モデル
• ブール充足可能性問題
• ブール微分積分
• 指標関数（特性関数とも呼ばれるが、この用語は確率論では別の概念として使用される）
• エスプレッソヒューリスティックロジック最小化器
• 論理マトリックス
• 論理値
• 石の二重性
• 石の空間
• 位相ブール代数