La logique informatique
(selon les travaux de J.D WARNIER)
L.C.P Logique de construction de programmes
Les structures " complexes " de programmes
Optimisation des structure complexe alternative : Traitement en arborescence.
Lorsque les S-Ensembles de données sur lesquels portent les actions à exécuter sont inclus, la structure du programme prend la forme d'une arborescence.
Nous allons illustrer cette règle (ainsi que les suivantes) en considérant trois 3 ensembles A,B et C en union, ainsi qu'une liste d'actions à réaliser en fonction de la réunion de ces trois ensembles.
1. Les données d'entrée 2. La table de vérité 3. Le diagramme de VEITCH
4. Le diagramme d'EULER
5. Simplification booléenne.
Vous pouvez aisément remarquer dans les deux diagrammes, l'inclusion du S-E A.B.C sur lequel portent l'action 2 dans l'ensemble A.C
En fonction de la règle édictée plus haut, le programme se construira sous forme d'arborescence.
