Qurak

SatisfiableQ

उपलब्ध

Tests whether a Boolean expression has a satisfying assignment

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

इनमें प्रयुक्त

विषय

संबंधित

सभी 6300 फ़ंक्शन · इसे किसी MCP क्लाइंट से उपयोग करें