Qurak

SatisfiableQ

లభ్యం

Tests whether a Boolean expression has a satisfying assignment

SatisfiableQ[bf]
SatisfiableQ[expr, {a1, a2, …}]

వాడిన చోటు

అంశాలు

సంబంధితమైనవి

మొత్తం 6300 ఫంక్షన్లు · దీన్ని MCP క్లయింట్ నుండి వాడండి