في الرابط التالي :
http://ar.wikipedia.org/wiki/%D8%A7%...A7%D8%B6%D9%8A
تجد موضوع بالعربية يتعلق بالمنطق الرياضي .. وله عناصر كثيرة مشتركة مع جبر بول الذي يشكل أساسا للمنطق الرياضي...
عموما يشبه جبر بول جبر المجموعات، وبينهما التقابل التالي :
جبر بول -------------------------- جبر المجموعات
قيمة ثنائية 1 أو 0 ------------------ مجموعة (ذات عناصر أو خالية)
1 يعني صحيح(ص)
0 يعني خاطىء(خ)
الوصل والفصل --------------------- التقاطع والإتحاد
النـــــفي -------------------------- المكمل
علما أن :
وصل(1،1)=1 وفي الحالات الأخرى = 0
فصل(0،0)=0 وفي الحالات الأخرى = 1
نفي(1)=0 ... نفي(0)=1
الخ ...
بالإضافة لاستعمال جداول الحقيقة كما هو موضح في الرابط المشار إليه أعلاه.
وآسف لعدم العثور على الموضوع المطلوب ..
والرابط المذكور أعلاه يتعلق بالمنطق الرياضي والذي له صلة وثيقة مع جبر بول كما أشرت لذلك آنفا .. ولكن للأسف مختصر كثيرا ..
والسلام