SatisfiableQ

Khả dụng

Tests whether a Boolean expression has a satisfying assignment

Dạng

SatisfiableQ[bf]

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

Tìm trong tài liệu tham chiếu

Được dùng trong

Use logical operators - 7 bước

Chủ đề

Boolean Computation - Boolean Function Testing
Discrete Mathematics - Boolean Computation »
Graph Programming - Boolean Function-Based Algorithms »
Logic And Boolean Algebra - Boolean Computation »
New In70 Alphabetical Listing - S
New In70 Mathematics And Algorithms - Boolean Computation »

Liên quan

SatisfiabilityCount SatisfiabilityInstances Exists TautologyQ BooleanTable BooleanConvert BooleanFunction BooleanMinimize Conjunction Disjunction True And

Tất cả 6300 hàm · Dùng cái này từ một client MCP