Qurak

UnateQ

بەردەستە

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

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

بابەتەکان

پەیوەندیدار

هەموو 6300 فەنکشنەکە · ئەمە لە کڵایەنتێکی MCP ەوە بەکاربهێنە