Logique propositionnelle et tables de vérité
Définitions
Proposition : Assertion vraie ou fausse. Conjonction (ET/∧) : vraie si les DEUX sont vraies. Disjonction (OU/∨) : vraie si AU MOINS UNE est vraie.
Lois de De Morgan : ¬(P∧Q) ≡ ¬P∨¬Q et ¬(P∨Q) ≡ ¬P∧¬Q — très utilisées en programmation.
# Tables de vérité
for p in [True, False]:
for q in [True, False]:
print(f"{p} {q} | {p and q} | {p or q} | {not p}")
# Vérification De Morgan
assert not (p and q) == (not p) or (not q)
assert not (p or q) == (not p) and (not q)
# Application : validation d'accès
age = 20; a_carte = True; est_employe = False
if (age >= 18 and a_carte) or est_employe:
print("Accès autorisé")