Using variable-entered Karnaugh maps in determining dependent and independent sets of Boolean functions
العناوين الأخرى
استخدام خرائط كارنوه متغيرة المحتويات في تحديد المجموعات المعتمدة و المجموعات المستقلة للدوال البولانية
المؤلفون المشاركون
al-Barakati, Husayn Mubarak
Rushdi, Ali Muhammad Ali
المصدر
Journal of King Abdulaziz University : Computing and Information Technology Sciences
العدد
المجلد 1، العدد 2 (31 ديسمبر/كانون الأول 2012)، ص ص. 45-67، 23ص.
الناشر
جامعة الملك عبد العزيز كلية الحاسبات و تقنية المعلومات
تاريخ النشر
2012-12-31
دولة النشر
السعودية
عدد الصفحات
23
التخصصات الرئيسية
الملخص EN
An important class for Boolean reasoning problems involves interdependence among the members of a set T of Boolean functions.
Two notable problems among this class are (a) to establish whether a given subset of T is dependent, and (b) to produce economical representations for the complementary families of all dependent subsets and independent subsets of T.
This paper solves these two problems via a powerful manual pictorial tool, namely, the variableentered Karnaugh map (VEKM).
The VEKM is utilized in executing a Label-and-Eliminate procedure for producing certain prime implicants or consequents used in tackling the two aforementioned problems.
The VEKM procedure is a time-saving short cut indeed, since it efficiently handles the three basic tasks demanded by the solution procedure, which are: (a) To combine several Boolean relations into a single one, (b) to compute conjunctive eliminants of a Boolean function, and (c) to derive the complete sum (CS) of a Boolean function.
The VEKM procedure significantly reduces the complexities of these tasks by introducing useful shortcuts and allowing simultaneous processing.
The VEKM procedure is described in detail, and then demonstrated via two illustrative examples, which previously had only black-box computer solutions as they were thought to be not amenable to manual solution.
The first example deals with switching or bivalent functions while the second handles 'big' Boolean functions.
Both examples indicate that the VEKM procedure proposed herein enjoys the merits of insightfulness, simplicity and efficiency
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Rushdi, Ali Muhammad Ali& al-Barakati, Husayn Mubarak. 2012. Using variable-entered Karnaugh maps in determining dependent and independent sets of Boolean functions. Journal of King Abdulaziz University : Computing and Information Technology Sciences،Vol. 1, no. 2, pp.45-67.
https://search.emarefa.net/detail/BIM-700863
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Rushdi, Ali Muhammad Ali& al-Barakati, Husayn Mubarak. Using variable-entered Karnaugh maps in determining dependent and independent sets of Boolean functions. Journal of King Abdulaziz University : Computing and Information Technology Sciences Vol. 1, no. 2 (2012), pp.45-67.
https://search.emarefa.net/detail/BIM-700863
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Rushdi, Ali Muhammad Ali& al-Barakati, Husayn Mubarak. Using variable-entered Karnaugh maps in determining dependent and independent sets of Boolean functions. Journal of King Abdulaziz University : Computing and Information Technology Sciences. 2012. Vol. 1, no. 2, pp.45-67.
https://search.emarefa.net/detail/BIM-700863
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 60-62
رقم السجل
BIM-700863
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر