谜材浏览
首页 论坛 楹联: 对句擂 无情擂(赛1 赛2) 网校 楹联库 灯谜: 擂台 有奖猜 网校 灯谜库 谜材库 诗词: 网校 诗词库 工具: 平仄查询 汉典
|
谜材浏览 |
每行5列
每行10列
每行15列
每行20列
单列(管理用)
大类：16 科学技术(60433) 小类：62 布尔代数名词 【慧君谜材】(335) （字数、拼音排序）
| 格 | 链 | 门 | C法 | 补元 |
| 反链 | 非门 | 或门 | 零元 | 命题 |
| 偏序 | 收缩 | 推理 | 幺元 | 与门 |
| 质项 | 布尔并 | 布尔补 | 布尔格 | 布尔和 |
| 布尔环 | 布尔积 | 布尔集 | 布尔交 | 布尔元 |
| 初等和 | 初等积 | 分配格 | 否定词 | 否命题 |
| 负或门 | 负逻辑 | 负与门 | 合取词 | 和范式 |
| 积范式 | 基本和 | 基本积 | 集合域 | 卡诺框 |
| 开关元 | 逻辑非 | 逻辑和 | 逻辑积 | 矛盾式 |
| 幂等元 | 拟分割 | 逆命题 | 偏命题 | 树代数 |
| 双蕴含 | 析取词 | 异或门 | 有补格 | 有界格 |
| 有余格 | 原命题 | 蕴含词 | 真值表 | 正或门 |
| 正逻辑 | 正与门 | 重言式 | 子元素 | 1的分割 |
| κ链条件 | 贝尔代数 | 比恩代数 | 闭开代数 | 布尔变元 |
| 布尔常元 | 布尔乘法 | 布尔定元 | 布尔方程 | 布尔否定 |
| 布尔公式 | 布尔函数 | 布尔合取 | 布尔加法 | 布尔空间 |
| 布尔析取 | 布尔运算 | 超滤空间 | 存在量词 | 存在命题 |
| 动合开关 | 对偶代数 | 对偶空间 | 对偶理想 | 对偶滤子 |
| 对偶原子 | 二值同态 | 分离规则 | 复合开关 | 嘎柴拉法 |
| 公式代数 | 合取范式 | 和积范式 | 恒断开关 | 恒假命题 |
| 恒通开关 | 恒真命题 | 积和范式 | 静合开关 | 开关变元 |
| 开关并联 | 开关串联 | 开关代数 | 开关电路 | 开关定元 |
| 开关反相 | 开关函数 | 理想对偶 | 滤子对偶 | 逻辑代数 |
| 幂集代数 | 命题变元 | 命题常元 | 命题代数 | 命题定元 |
| 命题公式 | 命题函数 | 逆否命题 | 纽曼代数 | 偏否命题 |
| 偏逆命题 | 偏原命题 | 区间代数 | 生成元集 | 事件代数 |
| 斯通空间 | 斯通映射 | 四种命题 | 条件命题 | 同态对偶 |
| 推理规则 | 完备同态 | 析取范式 | 相对代数 | 因子代数 |
| 蕴含规则 | κ封闭偏序 | κ完备同态 | σ完备同态 | 布尔表达式 |
| 布尔方程组 | 代数化简法 | 单位的分割 | 对偶子代数 | 极小化问题 |
| 可数链条件 | 命题的等价 | 命题的运算 | 命题的蕴含 | 命题联结词 |
| 偏逆否命题 | 完备子代数 | 无限分配性 | 正则开代数 | 正则子代数 |
| 子布尔代数 | κ完备子代数 | σ完备子代数 | 布尔方程的解 | 等价传递规则 |
| 递归布尔代数 | 二元布尔代数 | 刚体布尔代数 | 合取消去规则 | 合取引入规则 |
| 简单布尔代数 | 卡诺图化简法 | 理想无关子集 | 偏序的完备化 | 平凡布尔代数 |
| 齐次布尔代数 | 收缩布尔代数 | 斯通表示定理 | 算术布尔代数 | 退化布尔代数 |
| 完备布尔代数 | 完全可分配性 | 无关子代数族 | 无限布尔代数 | 析取消去规则 |
| 析取引入规则 | 有限布尔代数 | 有限命题代数 | 原子布尔代数 | 蕴含传递规则 |
| 蕴含移位规则 | 自由布尔代数 | 0-1布尔方程 | κ完备布尔代数 | σ完备布尔代数 |
| 不相交的布尔元 | 布尔表达式的值 | 布尔代数的表示 | 布尔代数的分割 | 布尔代数的理想 |
| 布尔代数的滤子 | 布尔代数的论域 | 布尔代数的偏序 | 布尔代数的嵌入 | 布尔代数的同构 |
| 布尔代数的同态 | 布尔代数的直积 | 布尔方程的特解 | 布尔方程的通解 | 布尔方程组的解 |
| 布尔函数的代数 | 布尔函数的相等 | 超原子布尔代数 | 独立的分割集合 | 非退化布尔代数 |
| 亨廷顿公理系统 | 开关函数的相等 | 可比较的布尔元 | 可判定布尔代数 | 无原子布尔代数 |
| 相对完备子代数 | 语句丛布尔代数 | 最小子布尔代数 | ω1万有布尔代数 | 不可比较的布尔元 |
| 布尔表达式的相等 | 布尔代数κ弱直积 | 布尔代数的胞腔度 | 布尔代数的超滤子 | 布尔代数的稠密度 |
| 布尔代数的单扩张 | 布尔代数的单项式 | 布尔代数的单因式 | 布尔代数的对偶核 | 布尔代数的多项式 |
| 布尔代数的多因式 | 布尔代数的积代数 | 布尔代数的极大项 | 布尔代数的极小项 | 布尔代数的浸润度 |
| 布尔代数的零元素 | 布尔代数的满同态 | 布尔代数的商代数 | 布尔代数的素理想 | 布尔代数的素滤子 |
| 布尔代数的同态核 | 布尔代数的同态象 | 布尔代数的完备化 | 布尔代数的无关度 | 布尔代数的余运算 |
| 布尔代数的运算律 | 布尔代数的真理想 | 布尔代数的真滤子 | 布尔代数的正元素 | 布尔代数的质理想 |
| 布尔代数的主理想 | 布尔代数的主滤子 | 布尔代数的自同构 | 布尔代数的自同态 | 布尔代数的自由积 |
| 布尔代数的最大项 | 布尔代数的最大元 | 布尔代数的最小项 | 布尔代数的最小元 | 布尔代数中的叉积 |
| 布尔代数中的异或 | 布尔方程组的特解 | 布尔方程组的通解 | 霍普夫-布尔代数 | 偏序集的相容元素 |
| 四种命题间的关系 | 序列的不相交加细 | 有限-余有限代数 | 真值函数的卡诺图 | κ可表示的布尔代数 |
| σ可表示的布尔代数 | 布尔代数的σ界理想 | 布尔代数的单位元素 | 布尔代数的单一同态 | 布尔代数的典型同态 |
| 布尔代数的合同关系 | 布尔代数的基数序列 | 布尔代数的极大理想 | 布尔代数的极大滤子 | 布尔代数的可判定性 |
| 布尔代数的平凡理想 | 布尔代数的平凡滤子 | 布尔代数的同态定理 | 布尔代数的完备理想 | 布尔代数的完美表示 |
| 布尔代数的沃特关系 | 布尔代数的无关子集 | 布尔代数的无赘子集 | 布尔代数的有限扩张 | 布尔代数的约化表示 |
| 布尔代数的自然同态 | 布尔代数中的对称差 | 布尔代数中的对合律 | 布尔代数中的反演律 | 布尔代数中的分配律 |
| 布尔代数中的互补律 | 布尔代数中的极元律 | 布尔代数中的交换律 | 布尔代数中的结合律 | 布尔代数中的零一律 |
| 布尔代数中的幂等律 | 布尔代数中的无限和 | 布尔代数中的无限积 | 布尔代数中的吸收律 | 布尔代数中的幺元律 |
| 布尔代数中的囿元律 | 递归可枚举布尔代数 | 命题函数的合取范式 | 命题函数的析取范式 | 布尔代数的κ完备理想 |
| 布尔代数的σ完备理想 | 布尔代数的融和自由积 | 布尔代数中的稠密子集 | 布尔代数中的对偶原理 | 康托尔-本迪克松导数 |
| 奎因-麦克勒斯基方法 | 命题函数的主合取范式 | 命题函数的主析取范式 | 布尔代数的合取范式定理 | 布尔代数的可数分离性质 |
| 布尔代数的析取范式定理 | 布尔代数的自由生成元集 | 布尔代数中的稠密子代数 | 布尔代数中的德·摩根律 | 布尔代数中的双重否定律 |
| 康托尔-本迪克松不变量 | 林登包姆-塔尔斯基代数 | 布尔代数的强可数分离性质 | 布尔代数的两两不相交元素族 | 关于无限和与积的德·摩根定理 |
网站总在线1553人；论坛在线176人；擂台及其他栏目在线1377人；本页在线20人：邻家四少 夜郎虎叟 爱斯寂寞人 入迷 游客16人 ■擂台及其他栏目在线用户总览 |
  |
滇ICP备17008350号-1
 滇公网安备53010202002185号
|