Disponibile
True when a Boolean function is positive unate (monotone increasing) in all or the listed variables via truth-table check
Tutte le 6300 funzioni · Usa questo da un client MCP