布尔-一流百科

厄尔布尔士山脉森林草原

厄尔布尔士山脉森林草原厄尔布尔士山脉森林草原生态区是里海以南 1,000 公里的干旱多山弧形生态区，横跨伊朗北部，从阿塞拜疆边境一直延伸到土库曼斯坦边境附...

词条百科

基布尔秤

基布尔秤布尔秤是一种机电测量仪器，它通过产生补偿力所需的电流和电压来非常精确地测量被测物体的重量。它是一种计量仪器，可以根据基本常数实现千克质量单...

词条百科

三值逻辑

三值逻辑在逻辑中，三值逻辑（也称为三元逻辑、三价、三元或三元逻辑，有时缩写为 3VL）是多个多值逻辑系统中的任何一个，其中有三个真值表示真、假和一些不...

词条百科

线性可分性

线性可分性在欧几里得几何学中，线性可分性是两组点的一个属性。在二维空间（欧几里得平面）中，这一点最容易被形象化，即把一组点看成是蓝色的，另一组点看...

词条百科

图形切割优化

图形切割优化图形切割优化是一种适用于离散变量函数系列的组合优化方法，以流动网络理论中的切割概念命名。由于xxx流量最小切割定理，确定代表流量网络的图形...

词条百科

内部代数

简介在抽象代数中，内部代数是某种类型的代数结构，它编码了一个集合的拓扑学内部的概念。内部代数对于拓扑学和模态逻辑S4来说，就像布尔代数对于集合论和普...

词条百科

残余布尔代数

残余布尔代数在数学中，残余布尔代数是一个残余的格子，其格子结构是布尔代数的结构。这方面的例子包括布尔代数的单数被认为是联结的，给定字母表Σ上的所有形...

词条百科

Tseytin变换

简介Tseytin变换，也可以写成Tseitin变换，把一个任意的组合逻辑电路作为输入，产生一个共轭正常形式（CNF）的布尔公式，可以用CNF-SAT求解器来解决。公式的...

词条百科

卡诺图

什么是卡诺图卡诺图（KM或K-map）是一种简化布尔代数表达式的方法。卡诺（MauriceKarnaugh）于1953年提出，作为爱德华-维奇（EdwardW.Veitch）1952年提出的维...

词条百科

功能完备性

功能完备性在逻辑学中，一个功能完备的逻辑连接词或布尔运算符集是指通过将该集的成员组合成一个布尔表达式，可以用来表达所有可能的真值表。一个著名的完整...

词条百科

组合逻辑

组合逻辑组合逻辑在自动机理论中，组合逻辑（也被称为时间无关的逻辑或组合逻辑）是一种数字逻辑，由布尔电路实现，其中输出仅是当前输入的纯函数。这与顺序...

词条百科

布尔标志

布尔标志(了解如何以及何时删除此模板信息)在计算机科学中，布尔标志、真值位或真值旗是以一个或多个比特表示的布尔值，它编码了一个有两种可能值的状态变量...

词条百科

可满足性模数理论

可满足性模数理论在计算机科学和数理逻辑中，可满足性模数理论（SMT）是确定一个数学公式是否可满足的问题。它将布尔可满足性问题（SAT）概括为涉及实数、整...

词条百科

罗宾斯代数

罗宾斯代数在抽象代数中，罗宾斯代数是一个包含单一二元运算的代数，通常表示为∨{displaystyle{lor}，以及一个单项运算，通常用∨表示。和一个单项运算，通常...

词条百科

形式上的等效检查

形式上的等效检查形式上的等效检查过程是电子设计自动化（EDA）的一部分，通常在数字集成电路的开发过程中使用，以正式证明电路设计的两个代表表现出完全相同...

词条百科

布尔可满足性问题

布尔可满足性问题在逻辑学和计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY，SAT或B-SAT）是确定是否存在一个满足给定布...

词条百科

布尔佐夫斯基导数

布尔佐夫斯基导数在理论计算机科学，特别是形式语言理论中，布尔佐夫斯基导数{displaystyleS}的一个字符串和一个字符串的字符串和一个字符串u{displaystyleu}...

词条百科

布尔语法

什么是布尔语法布尔语法，由Okhotin提出，是形式语言理论中研究的一类形式语法。它们扩展了语法的基本类型--无语境语法，具有连接和否定的操作。除了这些明确...

词条百科

布尔函数

布尔函数在数学和逻辑中，布尔函数是一个函数，其参数以及函数本身均采用两个元素组成的值（通常为{0,1}）。结果，有时将其称为“切换功能”。应用程序中的布尔...

词条百科