منطق التكرار
{{وصلات قليلة|تاريخ =ديسمبر 2024}}
{{لا مصدر|تاريخ=يناير 2022}}
{{يتيمة|تاريخ=أبريل 2015}}
{{ترجمة آلية|تاريخ=يوليو 2016}}
'' 'منطق التكرار' '' يحدث في [[بوابة المنطق|البوابة الرقمية]] شبكة تحتوي على الدوائر التي لا تؤثر على وظيفة المنطق ثابتة. وهناك عدة أسباب لوجود '''منطق التكرار'''.
النظر في المعادلة التالية:
:<math>
Y = A B + \overline{A} C + B C.
</math>
على المدى المنتج الثالث <الرياضيات> BC </الرياضيات> هو زائدة عن الحاجة [[توافق نظرية|إجماع على المدى]]. إذا <الرياضيات> A </الرياضيات> مفاتيح 1-0 في حين <الرياضيات> B = 1 </الرياضيات> و <الرياضيات> C = 1 </الرياضيات>، <الرياضيات> Y </math> ويبقى 1. خلال انتقال إشارة <الرياضيات> A </الرياضيات> في البوابات المنطقية، سواء على المدى الأول والثاني قد يكون 0 حظات. الفترة الثالثة يمنع خلل منذ لا يتأثر قيمته من 1 في هذه الحالة عن طريق الانتقال من إشارة <الرياضيات> A </الرياضيات>.
وهناك سبب آخر لمنطق التكرار هو ما تمارسه تصميم الفقيرة التي تنجم عن غير قصد من حيث منطقيا بوفرة.
هذا يسبب زيادة لا داعي لها في تعقيد الشبكة، وربما يعيق القدرة على اختبار تصاميم
تصنيعها باستخدام طرق الاختبار التقليدية (واحد تمسك في نماذج خطأ) . (ملاحظة: قد يكون من الممكن الاختبار باستخدام [[Iddq اختبار|IDDQ]] نماذج).
== إزالة منطق التكرار ==
هو، بشكل عام، وليس المطلوب منطق التكرار.
التكرار، بحكم التعريف، يتطلب أجزاء إضافية (في هذه الحالة: شروط منطقية)الذي يرفع تكلفة التنفيذ (إما التكلفة الفعلية للأجزاء المادية أو[[الوقت وحدة المعالجة المركزية]]لمعالجة).
يمكن إزالتها منطق التكرار من قبل العديد من التقنيات المعروفة، مثل [[خريطة كارنوف]] ق، و [[كواين-مكلوسكي الخوارزمية]]، و[[اسبرسو منطق الكشف عن مجريات الأمور شراع|طريقة الكمبيوتر ارشادي]].

== إضافة منطق التكرار ==
{{مفصلة | الخطر (منطق)}}

[[ملف:K-map 6,8,9,10,11,12,13,14.svg|تصغير|A ك-خريطة تبين وظيفة المنطق معينة]]

في بعض الحالات قد يكون من المرغوب فيه إلى '' إضافة '' منطق التكرار. واحدة من تلك الحالات هو تجنب [[حالة تسابق|حالة تعارض]] ق حيث يبلغ حجم انتاجها يمكن أن تتقلب بسبب شروط مختلفة هي «سباق» لإيقاف وعلى. لتفسير هذا في أكثر ملموس في [[خريطة كارنوف]]إلى الحق ويبين min terms and max terms لالدالة التالية:
:<math>f(A, B, C, D) = E(6, 8, 9, 10, 11, 12, 13, 14).\ </math>
مربعات تمثل الحد AND / OR الشروط واللازمة لتنفيذ هذه المهمة:
:<math>F = A\overline{C} + A\overline{B} + BC\overline{D}.</math>

على خريطة ك يظهر بصريا حيث تحدث [[حالة تسابق|حالة تعارضالصورة]] في التعبير من خلال وجود الحد الأدنى من الفجوات بين minterms أو الفجوات بين maxterms.على سبيل المثال، فإن الفجوة بين المستطيلات الزرقاء والخضراء.إذا كانت المدخلات <الرياضيات> ABCD = 1110 </الرياضيات> كان للتغيير إلى <الرياضيات> ABCD = 1010 </الرياضيات>ثم سباق سيحدث بين <الرياضيات> BC \ OVERLINE {D} </math> وتحول قبالة و<الرياضيات> A \ OVERLINE {B} </math> وإيقاف.
إذا تبديل المدى الأزرق قبالة قبل يتحول الأخضر على ثم فإن الناتج تتقلب وربما تسجل ك 0.
وثمة شرط آخر هو سباق بين الأزرق والأحمر للانتقال <الرياضيات> ABCD = 1110 </الرياضيات> إلى <الرياضيات> ABCD = 1100 </الرياضيات>.
[[ملف:K-map 6,8,9,10,11,12,13,14 anti-race.svg|تصغير|يسار|Above k-map with the <math>A\overline{D}</math> term added to avoid race hazards]]
تتم إزالة حالة تعارض بإضافة التكرار في المنطق، وهو ما يتعارض مع أهداف باستخدام ك-خريطة في المقام الأول.
وتغطي كلا من شروط السباق minterm بإضافة مصطلح الأصفر <الرياضيات> A \ OVERLINE {D} </math> و.
(وتغطي حالة تعارض maxterm بإضافة مصطلح الأخضر تحدها رمادي <الرياضيات> A + \ OVERLINE {D} </math> و).

في هذه الحالة، إضافة منطق التكرار قد استقر الإخراج إلى تجنب تقلبات الإنتاج لان حيث تتسابق بعضها البعض لتغيير الدولة.

== مراجع ==
{{مراجع}}
{{شريط بوابات|علم الحاسوب|فلسفة}}

[[تصنيف:إلكترونيات رقمية]]
[[تصنيف:جبر منطقي]]
[[تصنيف:هندسة الإلكترونيات]]
'منطق التكرار'  يحدث في البوابة الرقمية شبكة تحتوي على الدوائر التي لا تؤثر على وظيفة المنطق ثابتة. وهناك عدة أسباب لوجود منطق التكرار.
النظر في المعادلة التالية:

على المدى المنتج الثالث  BC  هو زائدة عن الحاجة إجماع على المدى. إذا  A  مفاتيح 1-0 في حين  B = 1  و  C = 1 ، <الرياضيات> Y </math> ويبقى 1. خلال انتقال إشارة  A  في البوابات المنطقية، سواء على المدى الأول والثاني قد يكون 0 حظات. الفترة الثالثة يمنع خلل منذ لا يتأثر قيمته من 1 في هذه الحالة عن طريق الانتقال من إشارة  A .
وهناك سبب آخر لمنطق التكرار هو ما تمارسه تصميم الفقيرة التي تنجم عن غير قصد من حيث منطقيا بوفرة.
هذا يسبب زيادة لا داعي لها في تعقيد الشبكة، وربما يعيق القدرة على اختبار تصاميم
تصنيعها باستخدام طرق الاختبار التقليدية (واحد تمسك في نماذج خطأ) . (ملاحظة: قد يكون من الممكن الاختبار باستخدام IDDQ نماذج).
 إزالة منطق التكرار 
هو، بشكل عام، وليس المطلوب منطق التكرار.
التكرار، بحكم التعريف، يتطلب أجزاء إضافية (في هذه الحالة: شروط منطقية)الذي يرفع تكلفة التنفيذ (إما التكلفة الفعلية للأجزاء المادية أوالوقت وحدة المعالجة المركزيةلمعالجة).
يمكن إزالتها منطق التكرار من قبل العديد من التقنيات المعروفة، مثل خريطة كارنوف ق، و كواين-مكلوسكي الخوارزمية، وطريقة الكمبيوتر ارشادي.

 إضافة منطق التكرار 

تصغير|A ك-خريطة تبين وظيفة المنطق معينة

في بعض الحالات قد يكون من المرغوب فيه إلى  إضافة  منطق التكرار. واحدة من تلك الحالات هو تجنب حالة تعارض ق حيث يبلغ حجم انتاجها يمكن أن تتقلب بسبب شروط مختلفة هي «سباق» لإيقاف وعلى. لتفسير هذا في أكثر ملموس في خريطة كارنوفإلى الحق ويبين min terms and max terms لالدالة التالية:

مربعات تمثل الحد AND / OR الشروط واللازمة لتنفيذ هذه المهمة:

على خريطة ك يظهر بصريا حيث تحدث حالة تعارضالصورة في التعبير من خلال وجود الحد الأدنى من الفجوات بين minterms أو الفجوات بين maxterms.على سبيل المثال، فإن الفجوة بين المستطيلات الزرقاء والخضراء.إذا كانت المدخلات  ABCD = 1110  كان للتغيير إلى  ABCD = 1010 ثم سباق سيحدث بين <الرياضيات> BC \ OVERLINE {D} </math> وتحول قبالة و<الرياضيات> A \ OVERLINE {B} </math> وإيقاف.
إذا تبديل المدى الأزرق قبالة قبل يتحول الأخضر على ثم فإن الناتج تتقلب وربما تسجل ك 0.
وثمة شرط آخر هو سباق بين الأزرق والأحمر للانتقال  ABCD = 1110  إلى  ABCD = 1100 .
تصغير|يسار|Above k-map with the  term added to avoid race hazards
تتم إزالة حالة تعارض بإضافة التكرار في المنطق، وهو ما يتعارض مع أهداف باستخدام ك-خريطة في المقام الأول.
وتغطي كلا من شروط السباق minterm بإضافة مصطلح الأصفر <الرياضيات> A \ OVERLINE {D} </math> و.
(وتغطي حالة تعارض maxterm بإضافة مصطلح الأخضر تحدها رمادي <الرياضيات> A + \ OVERLINE {D} </math> و).

في هذه الحالة، إضافة منطق التكرار قد استقر الإخراج إلى تجنب تقلبات الإنتاج لان حيث تتسابق بعضها البعض لتغيير الدولة.

 مراجع 

تصنيف:إلكترونيات رقمية
تصنيف:جبر منطقي
تصنيف:هندسة الإلكترونيات