UnateQ

UnateQ[bexpr,{x1,x2,…}]

检验在变量 x1, x2, … 中布尔表达式 bexpr 是否为正单边（positive unate）.

UnateQ[bexpr,{¬x1,¬x2,…}]

检验在变量 x1, x2, … 中布尔表达式 bexpr 是否为负单边（negative unate）.

更多信息

  • 正单边布尔函数也称之为布尔增加函数.
  • 负单边布尔函数也称之为布尔递减函数.
  • 如果对于其他变量的所有值， Boole[bexpr/.xi->False]≤Boole[bexpr/.xi->True]，那么布尔表达式 bexpr 在变量 xi 中是正单边.
  • 如果对于其他变量的所有值，Boole[bexpr/.xi->False]≥Boole[bexpr/.xi->True] ，那么布尔表达式 bexpr 在变量 xi 中是负单边.
  • 可以使用变量的任何组合以及它们的负值.
  • UnateQ[bf,{ind1,ind2,…}] 根据指示器 indk，检验布尔函数 bf 在变量 k 中是否为单边.
  • 指示器 indk 可以取下列值：
  • True,1检验正单边
    False,0检验负单边
    _不检验单边性

范例

打开所有单元关闭所有单元

基本范例  (2)

检验布尔表达式是否为正单边：

检验布尔表达式是否为负单边：

范围  (5)

检验是否为正单边：

负单边：

检验在一个变量中的单边性：

检验一个变量的正单边，另一个的负单边：

检验纯函数的单边性：

检验在第一个变量中的负单边性，第二个变量中的正单边性：

检验在第一个和最后一个变量中函数是否为正单边：

应用  (2)

枚举三个变量的所有单边函数：

ReliabilityDistribution 只取正单边函数：

找出哪个变量不是正单边：

通过把它设为 False，去除 x4：

属性和关系  (6)

基本的正单边函数：

基本的负单边函数：

Implies 在一个变量中为负单边，另一个为正单边：

一些布尔函数在所有变量中都不是单边的：

对于维数 ，布尔函数的分数是正单边：

正单边函数的组合是单边：

负单边函数的组合不一定是负单边：

正单边函数的否定是负单边：

巧妙范例  (1)

显示每个布尔函数有多少个变量，其中三个变量是正单边：

Wolfram Research (2012)，UnateQ，Wolfram 语言函数，https://reference.wolfram.com/language/ref/UnateQ.html.

文本

Wolfram Research (2012)，UnateQ，Wolfram 语言函数，https://reference.wolfram.com/language/ref/UnateQ.html.

CMS

Wolfram 语言. 2012. "UnateQ." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/UnateQ.html.

APA

Wolfram 语言. (2012). UnateQ. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/UnateQ.html 年

BibTeX

@misc{reference.wolfram_2024_unateq, author="Wolfram Research", title="{UnateQ}", year="2012", howpublished="\url{https://reference.wolfram.com/language/ref/UnateQ.html}", note=[Accessed: 21-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_unateq, organization={Wolfram Research}, title={UnateQ}, year={2012}, url={https://reference.wolfram.com/language/ref/UnateQ.html}, note=[Accessed: 21-November-2024 ]}