La logique informatique
(selon les travaux de J.D WARNIER)
L.C.P Logique de construction de programmes
Les structures " complexes " de programmes
Structure complexe alternative :
Un ensemble de données de structure complexe alternative est un ensemble dans lequel on rencontre plusieurs Sous-ensembles notés (0 ou 1 fois) et non exclusifs.
Par convention, lorsque plusieurs S-E sont notés (0-1) dans un ensemble, on emploie le symbole + , pour signifier que ces S-E sont non exclusifs, c.a.d qu'il s'agit d'une structure alternative complexe de données.
Comment déterminer la structure optimisée d'une structure alternative complexe !
Lorsque plusieurs S-E de données à un même niveau de subdivision hiérarchique sont utilisés (0-1 fois) et que ceux-ci sont en Union (+) (donc non disjoints), il faut effectuer la réunion de tous ces S-E de façon à découvrir tous les S-E de données sur lesquels portent les actions à programmer, et ainsi pouvoir effectuer les simplifications qui s'imposent et donc découvrir la structure la plus appropriée.
Découvrir les S-E sur lesquels portent les actions :
Pour ce faire, l'on doit poser une table de vérité afin de découvrir toutes les intersections possibles et donc tous les S-E sur lesquels pourront porter les actions à programmer.
Voici un exemple : Soit deux S-E en union d'un référentiel R
Référentiel Table de vérité Diagramme de VEITCH
Simplifions maintenant les expressions booléennes de chaque action :
Action 1 = A.B + A.B Action 2 = A.B
= B(A+A)
= B(1)
= B
Un Diagramme de VEITCH pour vérifier, c'est toujours intérressant.
Nous venons de découvrir la structure de notre alternative complexe !
(Ce sera une arborescence.) Pourquoi me direz-vous ?
C'est ce que je vous propose de voir maintenant .......