Tables de vérité

Le type booléen en Python

In [1]:
1 + 1 == 2
Out[1]:
True
In [2]:
type(20 < 15)
Out[2]:
bool

ET logique

In [3]:
(1 < 7) and ( 1 > 2)
Out[3]:
False

OU logique

In [4]:
True or False
Out[4]:
True

Négation

In [5]:
not ( 5 <= 5)
Out[5]:
False

Qu'affiche le programme suivant ?

In [ ]:
print('P     Q     P=>Q')
for p in [True,False]:
    for q in [True,False]:
        print(p, q, p <= q )

Créer la table de vérité de la disjonction.

In [ ]:

Créer la table de vérité de la conjonction.

In [ ]:

Créer la table de vérité de l'équivalence.

In [ ]:

Créer la table de vérité de $(P \Rightarrow Q) \Rightarrow R$

In [ ]:

Prouver que $\neg \left( ~ \left[ \neg(P \wedge Q) \wedge (Q \vee R)\right] ~\wedge ~ \left[P \wedge (\neg R) \right] ~\right)$ est une tautologie.

In [ ]: