SatisfiableQ

Tests whether a Boolean expression has a satisfying assignment

Используется в

• Use logical operators - 7 шагов

Темы

• 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 »

Связанное