ブール代数のトピックのリスト
これはブール代数
と
命題論理
に関するトピックのリストです。
幅広い範囲の記事と紹介
集合の代数
ブール代数(構造)
ブール代数
集合の体
論理接続詞
命題計算
ブール関数と接続詞
アンフェック
ブール関数の解析
バランスブール関数
ベント関数
標準的に定義されたブール代数
ブール関数
ブール行列
ブール値関数
条件付き選言
回避ブール関数
排他的論理和
機能の完全性
論理双条件
論理積
論理和
論理的等価性
論理的含意
論理否定
論理NOR
多数決関数
材料条件付き
ブール代数の最小公理
ピアースの矢
一度だけ読み取る機能
シェファーストローク
唯一の十分なオペレータ
対称ブール関数
対称差
ジェガルキン多項式
ブール代数の例
ブールドメイン
完全なブール代数
内部代数
2要素ブール代数
ブール代数の拡張
微分代数(抽象代数)
無料のブール代数
モナドブール代数
ブール代数の一般化
ド・モルガン代数
一階論理
ハイティング代数
リンデンバウム・タルスキー代数
歪んだブール代数
構文
代数正規形
ブール結合クエリ
標準形(ブール代数)
連言標準形
選言正規形
正式なシステム
技術的応用
アンドインバータグラフ
論理ゲート
ブール解析
定理と特定の法則
ブール素イデアル定理
コンパクト性定理
コンセンサス定理
ド・モルガンの法則
双対性(順序理論)
古典論理の法則
ピアースの法則
ブール代数に対するストーンの表現定理
人々
ブール、ジョージ
デ・モーガン、オーガスタス
ジェヴォンズ、ウィリアム・スタンリー
ピアース、チャールズ・サンダース
ストーン、マーシャル・ハーヴェイ
ヴェン、ジョン
ジェガルキン、イヴァン・イワノビッチ
哲学
ブールの三段論法
ブール含意
エンティティグラフ
存在グラフ
形の法則
論理グラフ
視覚化
真理値表
カルノー図
ベン図
非公開
ブール関数
ブール値関数
ブール値モデル
ブール充足可能性問題
ブール微分積分
指標関数
(
特性関数
とも呼ばれるが、この用語は確率論では別の概念として使用される)
エスプレッソヒューリスティックロジック最小化器
論理マトリックス
論理値
石の二重性
石の空間
位相ブール代数
カテゴリー
:
数学関連のリスト
ブール代数
数学と論理の概要
アウトライン
非表示のカテゴリ:
短い説明付きの記事
短い説明はWikidataと異なります