Guide pratique 7 étapes, exécutées dans l'ordre dans une même session. Chaque étape a été exécutée sur le moteur et la sortie ci-dessous est ce qu'elle a produit.

Étape 1

(True && False) || !True

Sortie

False

Étape 2

Or[And[True, False], Not[True]]

Sortie

False

Étape 3

BooleanConvert[(a && b) || (!a && b)]

Sortie

(a && b) || ( !a && b)

Étape 4

Resolve[ForAll[{a, b}, Equivalent[(a && b) || (!a && b), b]], {a, b}, Booleans]

Sortie

Resolve[ForAll[{a, b}, (a && b) || ( !a && b) ⧦ b], {a, b}, Booleans]

Étape 5

Resolve[ForAll[a, Exists[b, (a && b) || (!a && b)]], {a, b}, Booleans]

Sortie

Resolve[ForAll[a, Exists[b, (a && b) || ( !a && b)]], {a, b}, Booleans]

Étape 6

Resolve[ForAll[{a, b}, Implies[a && b, b]], {a, b}, Booleans]

Sortie

Resolve[ForAll[{a, b}, Implies[a && b, b]], {a, b}, Booleans]

Étape 7

SatisfiableQ[(a && b) && (!a || !b), {a, b}]

Sortie

False

Exécuter sur Qurak Toutes les recettes

Use logical operators

Fonctions utilisées

Recettes connexes