CALCUL LOGIQUE
EXERCICES
Numériser
un littéral.
Démontrer
que l’expression :
[x&(yVz)]
V
[yV(z&u)]
.=.(78678)
Corrigé :
|
[
|
x
|
&
|
(
|
y
|
V
|
z
|
)]
|
V
|
[
|
y
|
V(
|
z
|
&
|
u
|
)
|
]
|
.=.
|
(78678)
|
|
|
|
1
|
1
|
|
1
|
1
|
1
|
|
1
|
|
1
|
1
|
1
|
1
|
1
|
|
|
|
|
|
|
|
1
|
1
|
|
1
|
1
|
1
|
|
1
|
|
1
|
1
|
1
|
0
|
0
|
|
|
|
|
|
|
|
1
|
1
|
|
1
|
1
|
0
|
|
1
|
|
1
|
1
|
0
|
0
|
1
|
|
|
|
|
|
|
|
1
|
1
|
|
1
|
1
|
0
|
|
1
|
|
1
|
1
|
0
|
0
|
0
|
|
|
|
|
|
|
|
1
|
1
|
|
0
|
1
|
1
|
|
1
|
|
0
|
1
|
1
|
1
|
1
|
|
|
|
|
|
|
|
1
|
1
|
|
0
|
1
|
1
|
|
1
|
|
0
|
0
|
1
|
0
|
0
|
|
|
|
|
|
|
|
1
|
0
|
|
0
|
0
|
0
|
|
0
|
|
0
|
0
|
0
|
0
|
1
|
|
|
|
0
|
(7)
|
|
|
1
|
0
|
|
0
|
0
|
0
|
|
0
|
|
0
|
0
|
0
|
0
|
0
|
|
|
|
0
|
(8)
|
|
|
0
|
0
|
|
1
|
1
|
1
|
|
1
|
|
1
|
1
|
1
|
1
|
1
|
|
|
|
|
|
|
|
0
|
0
|
|
1
|
1
|
1
|
|
1
|
|
1
|
1
|
1
|
0
|
0
|
|
|
|
|
|
|
|
0
|
0
|
|
1
|
1
|
0
|
|
1
|
|
1
|
1
|
0
|
0
|
1
|
|
|
|
|
|
|
|
0
|
0
|
|
1
|
1
|
0
|
|
1
|
|
1
|
1
|
0
|
0
|
0
|
|
|
|
|
|
|
|
0
|
0
|
|
0
|
1
|
1
|
|
1
|
|
0
|
1
|
1
|
1
|
1
|
|
|
|
|
|
|
|
0
|
0
|
|
0
|
1
|
1
|
|
0
|
|
0
|
0
|
1
|
0
|
0
|
|
|
|
0
|
(6)
|
|
|
0
|
0
|
|
0
|
0
|
0
|
|
0
|
|
0
|
0
|
0
|
0
|
1
|
|
|
|
0
|
(7)
|
|
|
0
|
0
|
|
0
|
0
|
0
|
|
0
|
|
0
|
0
|
0
|
0
|
0
|
|
|
|
0
|
(8)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x
|
.
|
|
y
|
+
|
z
|
|
+
|
|
y
|
+
|
z
|
.
|
u
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Remarques :
cet élément appartient au /TP/4.
Il
appartient au groupe FERIT2 de forme générale
N°49 :
[P**(Q*R)]
*
[Q**(R*S)]
comprenant :6912 élem.
Répartis
en 54 SG littéraux et 128 SG opératoires.
En
exercice : démontrer cette répartition.
Est-il
possible de réduire cette expression ?
| 
