Logical Propositions: Equivalence Properties

Quelle est la propriété que vérifient les connecteurs ∧ et ∨ l'un envers l'autre?

Quelle est la forme équivalente de p ∧ (q ∨ r) ?

Quelle est la propriété vérifiée par les connecteurs ∧ et ∨ ?

Quelle est la valeur de p ⊕ p ?

Quelle est la propriété qui détermine le résultat d'une formule où n'intervient que l'opérateur ⊕ ?

Quelle est la forme équivalente de p ⊕ q ⊕ q ?

Quel est le résultat de la formule p ⊕ p ⊕ q ⊕ r ⊕ r ?

Quelle est la propriété vérifiée par l'opérateur ⊕ ?

Quel est le prédicat obtenu en connectant les prédicats r(x) et b(x) avec l'opérateur ∨ ?

Quel est le résultat de la formule r(x) ∨ b(x) pour x = le Père Noël ?