UnateQ

Available

True when a Boolean function is positive unate (monotone increasing) in all or the listed variables via truth-table check

Forms

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

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

Search the reference

Topics

Boolean Computation - Boolean Structure
New In90 Alphabetical Listing - U
Reliability - Coherent System Structures

Related

BooleanMinimize ReliabilityDistribution FailureDistribution And BooleanCountingFunction BooleanTable BooleanVariables Or UnitConvert UnitDimensions Upsample

All 6300 functions · Use this from an MCP client