**تعريف 1**
& لتكن لدينا دارة منطقية α ولها n دخلاً و mخرجاً هي بيان حلقي ومعنون وموجه α=(V,E) عناصر مجموعة العقد V مرقمة من l إلى |V| ومقسمة إلى أربع مجموعات منفصلة:
1 - عقد الدخل nodes input
2- عقد ثابتة nodes constant
3- عقد عمليات nodes operation
4- عقد الخرج nodes output
-ال n عقدة دخل لا تملك أقواساً داخلة إليها. كل واحدة منها معنونة برمز متغير مختلف. فيما...