Formal derivation of a particular input of a single AND (OR) gate in terms of its output and other inputs
العناوين الأخرى
الاشتقاق الرياضي الرصين لأحد مدخلات بوابة تقاطع (اتحاد) بدلالة مخرجها و بقية مدخلاتها
المؤلفون المشاركون
al-Qawasimi, Muhammad Ahmad
Rushdi, Ali Muhammad Ali
المصدر
Journal of King Abdulaziz University : Engineering Sciences
العدد
المجلد 26، العدد 2 (31 ديسمبر/كانون الأول 2015)، ص ص. 51-64، 14ص.
الناشر
جامعة الملك عبد العزيز مركز النشر العلمي
تاريخ النشر
2015-12-31
دولة النشر
السعودية
عدد الصفحات
14
التخصصات الرئيسية
العلوم الهندسية والتكنولوجية (متداخلة التخصصات)
الملخص EN
This note studies two dual problems that arise frequently in the probabilistic and testability analysis of combinational digital circuits and the a posteriori analysis of fault trees.
These problems pertain to expressing a particular input of a single AND or (OR) gate in terms of its output and other inputs.
We formally derive the required input, for each of the two dual cases, by finding the general parametric solution of an equivalent problem over a 'big' Boolean algebra.
The solutions obtained provide pedagogical insight and have direct interpretations in terms of substantially reduced truth tables.
As an offshoot, this note confirms, by way of concrete examples, that the a ‘big’ Boolean algebra is both useful and unavoidable for engineering applications, and that truth tables do not have to be explicitly of exponential sizes, but might be compressed, when possible, to few lines only.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Rushdi, Ali Muhammad Ali& al-Qawasimi, Muhammad Ahmad. 2015. Formal derivation of a particular input of a single AND (OR) gate in terms of its output and other inputs. Journal of King Abdulaziz University : Engineering Sciences،Vol. 26, no. 2, pp.51-64.
https://search.emarefa.net/detail/BIM-717962
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Rushdi, Ali Muhammad Ali& al-Qawasimi, Muhammad Ahmad. Formal derivation of a particular input of a single AND (OR) gate in terms of its output and other inputs. Journal of King Abdulaziz University : Engineering Sciences Vol. 26, no. 2 (2015), pp.51-64.
https://search.emarefa.net/detail/BIM-717962
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Rushdi, Ali Muhammad Ali& al-Qawasimi, Muhammad Ahmad. Formal derivation of a particular input of a single AND (OR) gate in terms of its output and other inputs. Journal of King Abdulaziz University : Engineering Sciences. 2015. Vol. 26, no. 2, pp.51-64.
https://search.emarefa.net/detail/BIM-717962
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes appendices : p. 62-63
رقم السجل
BIM-717962
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر