谜材浏览
首页 论坛 楹联: 对句擂 无情擂(赛1 赛2) 网校 楹联库 灯谜: 擂台 有奖猜 网校 灯谜库 谜材库 诗词: 网校 诗词库 工具: 平仄查询 汉典
|
谜材浏览 |
每行5列
每行10列
每行15列
每行20列
单列(管理用)
大类：16 科学技术(60433) 小类：62 布尔代数名词 【慧君谜材】(335) （编号排序）
| 1507847 | 格 |
| 1507848 | 链 |
| 1507849 | 门 |
| 1507850 | C法 |
| 1507851 | 补元 |
| 1507852 | 反链 |
| 1507853 | 非门 |
| 1507854 | 或门 |
| 1507855 | 零元 |
| 1507856 | 命题 |
| 1507857 | 偏序 |
| 1507858 | 收缩 |
| 1507859 | 推理 |
| 1507860 | 幺元 |
| 1507861 | 与门 |
| 1507862 | 质项 |
| 1507863 | 布尔并 |
| 1507864 | 布尔补 |
| 1507865 | 布尔格 |
| 1507866 | 布尔和 |
| 1507867 | 布尔环 |
| 1507868 | 布尔积 |
| 1507869 | 布尔集 |
| 1507870 | 布尔交 |
| 1507871 | 布尔元 |
| 1507872 | 初等和 |
| 1507873 | 初等积 |
| 1507874 | 分配格 |
| 1507875 | 否定词 |
| 1507876 | 否命题 |
| 1507877 | 负或门 |
| 1507878 | 负逻辑 |
| 1507879 | 负与门 |
| 1507880 | 合取词 |
| 1507881 | 和范式 |
| 1507882 | 积范式 |
| 1507883 | 基本和 |
| 1507884 | 基本积 |
| 1507885 | 集合域 |
| 1507886 | 卡诺框 |
| 1507887 | 开关元 |
| 1507888 | 逻辑非 |
| 1507889 | 逻辑和 |
| 1507890 | 逻辑积 |
| 1507891 | 矛盾式 |
| 1507892 | 幂等元 |
| 1507893 | 拟分割 |
| 1507894 | 逆命题 |
| 1507895 | 偏命题 |
| 1507896 | 树代数 |
| 1507897 | 双蕴含 |
| 1507898 | 析取词 |
| 1507899 | 异或门 |
| 1507900 | 有补格 |
| 1507901 | 有界格 |
| 1507902 | 有余格 |
| 1507903 | 原命题 |
| 1507904 | 蕴含词 |
| 1507905 | 真值表 |
| 1507906 | 正或门 |
| 1507907 | 正逻辑 |
| 1507908 | 正与门 |
| 1507909 | 重言式 |
| 1507910 | 子元素 |
| 1507911 | 1的分割 |
| 1507912 | κ链条件 |
| 1507913 | 贝尔代数 |
| 1507914 | 比恩代数 |
| 1507915 | 闭开代数 |
| 1507916 | 布尔变元 |
| 1507917 | 布尔常元 |
| 1507918 | 布尔乘法 |
| 1507919 | 布尔定元 |
| 1507920 | 布尔方程 |
| 1507921 | 布尔否定 |
| 1507922 | 布尔公式 |
| 1507923 | 布尔函数 |
| 1507924 | 布尔合取 |
| 1507925 | 布尔加法 |
| 1507926 | 布尔空间 |
| 1507927 | 布尔析取 |
| 1507928 | 布尔运算 |
| 1507929 | 超滤空间 |
| 1507930 | 存在量词 |
| 1507931 | 存在命题 |
| 1507932 | 动合开关 |
| 1507933 | 对偶代数 |
| 1507934 | 对偶空间 |
| 1507935 | 对偶理想 |
| 1507936 | 对偶滤子 |
| 1507937 | 对偶原子 |
| 1507938 | 二值同态 |
| 1507939 | 分离规则 |
| 1507940 | 复合开关 |
| 1507941 | 嘎柴拉法 |
| 1507942 | 公式代数 |
| 1507943 | 合取范式 |
| 1507944 | 和积范式 |
| 1507945 | 恒断开关 |
| 1507946 | 恒假命题 |
| 1507947 | 恒通开关 |
| 1507948 | 恒真命题 |
| 1507949 | 积和范式 |
| 1507950 | 静合开关 |
| 1507951 | 开关变元 |
| 1507952 | 开关并联 |
| 1507953 | 开关串联 |
| 1507954 | 开关代数 |
| 1507955 | 开关电路 |
| 1507956 | 开关定元 |
| 1507957 | 开关反相 |
| 1507958 | 开关函数 |
| 1507959 | 理想对偶 |
| 1507960 | 滤子对偶 |
| 1507961 | 逻辑代数 |
| 1507962 | 幂集代数 |
| 1507963 | 命题变元 |
| 1507964 | 命题常元 |
| 1507965 | 命题代数 |
| 1507966 | 命题定元 |
| 1507967 | 命题公式 |
| 1507968 | 命题函数 |
| 1507969 | 逆否命题 |
| 1507970 | 纽曼代数 |
| 1507971 | 偏否命题 |
| 1507972 | 偏逆命题 |
| 1507973 | 偏原命题 |
| 1507974 | 区间代数 |
| 1507975 | 生成元集 |
| 1507976 | 事件代数 |
| 1507977 | 斯通空间 |
| 1507978 | 斯通映射 |
| 1507979 | 四种命题 |
| 1507980 | 条件命题 |
| 1507981 | 同态对偶 |
| 1507982 | 推理规则 |
| 1507983 | 完备同态 |
| 1507984 | 析取范式 |
| 1507985 | 相对代数 |
| 1507986 | 因子代数 |
| 1507987 | 蕴含规则 |
| 1507988 | κ封闭偏序 |
| 1507989 | κ完备同态 |
| 1507990 | σ完备同态 |
| 1507991 | 布尔表达式 |
| 1507992 | 布尔方程组 |
| 1507993 | 代数化简法 |
| 1507994 | 单位的分割 |
| 1507995 | 对偶子代数 |
| 1507996 | 极小化问题 |
| 1507997 | 可数链条件 |
| 1507998 | 命题的等价 |
| 1507999 | 命题的运算 |
| 1508000 | 命题的蕴含 |
| 1508001 | 命题联结词 |
| 1508002 | 偏逆否命题 |
| 1508003 | 完备子代数 |
| 1508004 | 无限分配性 |
| 1508005 | 正则开代数 |
| 1508006 | 正则子代数 |
| 1508007 | 子布尔代数 |
| 1508008 | κ完备子代数 |
| 1508009 | σ完备子代数 |
| 1508010 | 布尔方程的解 |
| 1508011 | 等价传递规则 |
| 1508012 | 递归布尔代数 |
| 1508013 | 二元布尔代数 |
| 1508014 | 刚体布尔代数 |
| 1508015 | 合取消去规则 |
| 1508016 | 合取引入规则 |
| 1508017 | 简单布尔代数 |
| 1508018 | 卡诺图化简法 |
| 1508019 | 理想无关子集 |
| 1508020 | 偏序的完备化 |
| 1508021 | 平凡布尔代数 |
| 1508022 | 齐次布尔代数 |
| 1508023 | 收缩布尔代数 |
| 1508024 | 斯通表示定理 |
| 1508025 | 算术布尔代数 |
| 1508026 | 退化布尔代数 |
| 1508027 | 完备布尔代数 |
| 1508028 | 完全可分配性 |
| 1508029 | 无关子代数族 |
| 1508030 | 无限布尔代数 |
| 1508031 | 析取消去规则 |
| 1508032 | 析取引入规则 |
| 1508033 | 有限布尔代数 |
| 1508034 | 有限命题代数 |
| 1508035 | 原子布尔代数 |
| 1508036 | 蕴含传递规则 |
| 1508037 | 蕴含移位规则 |
| 1508038 | 自由布尔代数 |
| 1508039 | 0-1布尔方程 |
| 1508040 | κ完备布尔代数 |
| 1508041 | σ完备布尔代数 |
| 1508042 | 不相交的布尔元 |
| 1508043 | 布尔表达式的值 |
| 1508044 | 布尔代数的表示 |
| 1508045 | 布尔代数的分割 |
| 1508046 | 布尔代数的理想 |
| 1508047 | 布尔代数的滤子 |
| 1508048 | 布尔代数的论域 |
| 1508049 | 布尔代数的偏序 |
| 1508050 | 布尔代数的嵌入 |
| 1508051 | 布尔代数的同构 |
| 1508052 | 布尔代数的同态 |
| 1508053 | 布尔代数的直积 |
| 1508054 | 布尔方程的特解 |
| 1508055 | 布尔方程的通解 |
| 1508056 | 布尔方程组的解 |
| 1508057 | 布尔函数的代数 |
| 1508058 | 布尔函数的相等 |
| 1508059 | 超原子布尔代数 |
| 1508060 | 独立的分割集合 |
| 1508061 | 非退化布尔代数 |
| 1508062 | 亨廷顿公理系统 |
| 1508063 | 开关函数的相等 |
| 1508064 | 可比较的布尔元 |
| 1508065 | 可判定布尔代数 |
| 1508066 | 无原子布尔代数 |
| 1508067 | 相对完备子代数 |
| 1508068 | 语句丛布尔代数 |
| 1508069 | 最小子布尔代数 |
| 1508070 | ω1万有布尔代数 |
| 1508071 | 不可比较的布尔元 |
| 1508072 | 布尔表达式的相等 |
| 1508073 | 布尔代数κ弱直积 |
| 1508074 | 布尔代数的胞腔度 |
| 1508075 | 布尔代数的超滤子 |
| 1508076 | 布尔代数的稠密度 |
| 1508077 | 布尔代数的单扩张 |
| 1508078 | 布尔代数的单项式 |
| 1508079 | 布尔代数的单因式 |
| 1508080 | 布尔代数的对偶核 |
| 1508081 | 布尔代数的多项式 |
| 1508082 | 布尔代数的多因式 |
| 1508083 | 布尔代数的积代数 |
| 1508084 | 布尔代数的极大项 |
| 1508085 | 布尔代数的极小项 |
| 1508086 | 布尔代数的浸润度 |
| 1508087 | 布尔代数的零元素 |
| 1508088 | 布尔代数的满同态 |
| 1508089 | 布尔代数的商代数 |
| 1508090 | 布尔代数的素理想 |
| 1508091 | 布尔代数的素滤子 |
| 1508092 | 布尔代数的同态核 |
| 1508093 | 布尔代数的同态象 |
| 1508094 | 布尔代数的完备化 |
| 1508095 | 布尔代数的无关度 |
| 1508096 | 布尔代数的余运算 |
| 1508097 | 布尔代数的运算律 |
| 1508098 | 布尔代数的真理想 |
| 1508099 | 布尔代数的真滤子 |
| 1508100 | 布尔代数的正元素 |
| 1508101 | 布尔代数的质理想 |
| 1508102 | 布尔代数的主理想 |
| 1508103 | 布尔代数的主滤子 |
| 1508104 | 布尔代数的自同构 |
| 1508105 | 布尔代数的自同态 |
| 1508106 | 布尔代数的自由积 |
| 1508107 | 布尔代数的最大项 |
| 1508108 | 布尔代数的最大元 |
| 1508109 | 布尔代数的最小项 |
| 1508110 | 布尔代数的最小元 |
| 1508111 | 布尔代数中的叉积 |
| 1508112 | 布尔代数中的异或 |
| 1508113 | 布尔方程组的特解 |
| 1508114 | 布尔方程组的通解 |
| 1508115 | 霍普夫-布尔代数 |
| 1508116 | 偏序集的相容元素 |
| 1508117 | 四种命题间的关系 |
| 1508118 | 序列的不相交加细 |
| 1508119 | 有限-余有限代数 |
| 1508120 | 真值函数的卡诺图 |
| 1508121 | κ可表示的布尔代数 |
| 1508122 | σ可表示的布尔代数 |
| 1508123 | 布尔代数的σ界理想 |
| 1508124 | 布尔代数的单位元素 |
| 1508125 | 布尔代数的单一同态 |
| 1508126 | 布尔代数的典型同态 |
| 1508127 | 布尔代数的合同关系 |
| 1508128 | 布尔代数的基数序列 |
| 1508129 | 布尔代数的极大理想 |
| 1508130 | 布尔代数的极大滤子 |
| 1508131 | 布尔代数的可判定性 |
| 1508132 | 布尔代数的平凡理想 |
| 1508133 | 布尔代数的平凡滤子 |
| 1508134 | 布尔代数的同态定理 |
| 1508135 | 布尔代数的完备理想 |
| 1508136 | 布尔代数的完美表示 |
| 1508137 | 布尔代数的沃特关系 |
| 1508138 | 布尔代数的无关子集 |
| 1508139 | 布尔代数的无赘子集 |
| 1508140 | 布尔代数的有限扩张 |
| 1508141 | 布尔代数的约化表示 |
| 1508142 | 布尔代数的自然同态 |
| 1508143 | 布尔代数中的对称差 |
| 1508144 | 布尔代数中的对合律 |
| 1508145 | 布尔代数中的反演律 |
| 1508146 | 布尔代数中的分配律 |
| 1508147 | 布尔代数中的互补律 |
| 1508148 | 布尔代数中的极元律 |
| 1508149 | 布尔代数中的交换律 |
| 1508150 | 布尔代数中的结合律 |
| 1508151 | 布尔代数中的零一律 |
| 1508152 | 布尔代数中的幂等律 |
| 1508153 | 布尔代数中的无限和 |
| 1508154 | 布尔代数中的无限积 |
| 1508155 | 布尔代数中的吸收律 |
| 1508156 | 布尔代数中的幺元律 |
| 1508157 | 布尔代数中的囿元律 |
| 1508158 | 递归可枚举布尔代数 |
| 1508159 | 命题函数的合取范式 |
| 1508160 | 命题函数的析取范式 |
| 1508161 | 布尔代数的κ完备理想 |
| 1508162 | 布尔代数的σ完备理想 |
| 1508163 | 布尔代数的融和自由积 |
| 1508164 | 布尔代数中的稠密子集 |
| 1508165 | 布尔代数中的对偶原理 |
| 1508166 | 康托尔-本迪克松导数 |
| 1508167 | 奎因-麦克勒斯基方法 |
| 1508168 | 命题函数的主合取范式 |
| 1508169 | 命题函数的主析取范式 |
| 1508170 | 布尔代数的合取范式定理 |
| 1508171 | 布尔代数的可数分离性质 |
| 1508172 | 布尔代数的析取范式定理 |
| 1508173 | 布尔代数的自由生成元集 |
| 1508174 | 布尔代数中的稠密子代数 |
| 1508175 | 布尔代数中的德·摩根律 |
| 1508176 | 布尔代数中的双重否定律 |
| 1508177 | 康托尔-本迪克松不变量 |
| 1508178 | 林登包姆-塔尔斯基代数 |
| 1508179 | 布尔代数的强可数分离性质 |
| 1508180 | 布尔代数的两两不相交元素族 |
| 1508181 | 关于无限和与积的德·摩根定理 |
网站总在线1552人；论坛在线176人；擂台及其他栏目在线1376人；本页在线20人：邻家四少 夜郎虎叟 爱斯寂寞人 入迷 游客16人 ■擂台及其他栏目在线用户总览 |
  |
滇ICP备17008350号-1
 滇公网安备53010202002185号
|