‫جبر المنطق ( الجبر البوليني )‬

‫حقيقة القضية إما صحيحة أو خاطئة‬

‫مثالً ‪ 15 :‬عدد صحيح موجب ( قضية صحيحة )‬

‫‪ 7‬يقسم العدد ‪ ( 30‬قضية خاطئة )‬

‫( ليست قضية )‬ ‫ما اسمك ؟‬

‫أنواع القضايا‬

‫‪ -1‬بسيطة ‪ :‬تتألف من جزء واحد ‪.‬‬

‫‪ -2‬مركبة ‪ :‬تتألف من أكثر من جزء ‪.‬‬

‫أمثلة ‪:‬‬

‫• العدد ‪ 5‬يقسم العدد ‪ 20‬قضية بسيطة صحيحة‬

‫• العدد ‪ 3‬يقسم العدد ‪ 12‬و العدد ‪ 40‬من مضاعفات العدد ‪ 5‬قضية مركبة صحيحة‬
‫• علي طالب في كلية العلوم بالحسكة ⟸ علي طالب في جامعة الفرات ‪.‬‬

‫جداول الحقيقة ألدوات الربط بين القضايا‬

‫النفي 𝒕𝒐𝑵‬
‫𝒑‬ ‫‪𝒑′‬‬
‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫𝟎‬

‫الضرب 𝒅𝒏𝑨‬
‫𝒑‬ ‫𝒒‬ ‫𝒒‪𝒑 .‬‬
‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬

‫أي يكون ضرب القضيتين دائما ً خطأ إال عندما تكون القضيتين صحيحتين بآن واحد ‪.‬‬
 ‫الجمع 𝒓𝑶‬
‫𝒑‬ ‫𝒒‬ ‫𝒒 ‪𝒑+‬‬
‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬

‫أي يكون جمع القضيتين دائما ً صحيح إال عندما تكون القضيتين خاطئتين بآن واحد ‪.‬‬

‫مالحظة ‪ :‬إذا كان لدينا 𝑘 قضية فإن عدد االحتماالت بينها يساوي 𝑘‪2‬‬

‫⇒‬ ‫االقتضاء‬
‫𝒑‬ ‫𝒒‬ ‫𝒒 ⇒𝒑‬
‫𝟎‬ ‫𝟎‬ ‫𝟏‬
‫𝟎‬ ‫𝟏‬ ‫𝟏‬
‫𝟏‬ ‫𝟎‬ ‫𝟎‬
‫𝟏‬ ‫𝟏‬ ‫𝟏‬

‫أي أن قضية صحيحة ال تقتضي قضية خاطئة‬

‫⟺‬ ‫التكافؤ‬
‫𝒑‬ ‫𝒒‬ ‫𝒒 ⟺𝒑‬
‫𝟎‬ ‫𝟎‬ ‫𝟏‬
‫𝟎‬ ‫𝟏‬ ‫𝟎‬
‫𝟏‬ ‫𝟎‬ ‫𝟎‬
‫𝟏‬ ‫𝟏‬ ‫𝟏‬

‫أي تكون القضيتان متكافئتان عندما يكون لهما نفس قيمة الحقيقة‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪2‬‬

 ‫خواص ‪:‬‬

‫𝟎=𝟎‪𝒑+‬‬ ‫𝟎=𝟎∙𝒑‬ ‫𝟏=𝟏‪𝒑+‬‬ ‫𝒑=𝟏∙𝒑‬

‫𝒑=𝒑‪𝒑+‬‬ ‫𝒑=𝒑∙𝒑‬ ‫𝒑‪𝒑+𝒒=𝒒+‬‬ ‫𝒑∙𝒒=𝒒∙𝒑‬
‫)𝒓 ‪(𝒑 + 𝒒) + 𝒓 = 𝒑 + (𝒒 +‬‬ ‫)𝒓 ∙ 𝒒( ∙ 𝒑 = 𝒓 ∙ )𝒒 ∙ 𝒑(‬
‫𝒓 ∙ 𝒑 ‪𝒑 ∙ (𝒒 + 𝒓) = 𝒑 ∙ 𝒒 +‬‬ ‫)𝒓 ‪𝒑 + (𝒒 ∙ 𝒓) = (𝒑 + 𝒒) ∙ (𝒑 +‬‬

‫قوانين ديمورغان‬

‫‪(𝒑 + 𝒒) ′ = 𝒑′ ∙ 𝒒′‬‬ ‫‪(𝒑 ∙ 𝒒) ′ = 𝒑′ + 𝒒′‬‬

‫مثال ‪ :‬برهن قانون ديمورغان األول ‪ (𝒑 + 𝒒) ′ = 𝒑′ ∙ 𝒒′‬باستخدام جدول الحقيقة‬

‫الحل ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫‪𝒑′‬‬ ‫‪𝒒′‬‬ ‫𝒒‪𝒑+‬‬ ‫‪(𝒑 + 𝒒)′‬‬ ‫‪𝒑′ ∙ 𝒒′‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟎‬ ‫𝟎‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬ ‫𝟎‬

‫وظيفة ‪ :‬باستخدام جدول الحقيقة برهن القانون الثاني لديمورغان ‪.‬‬

‫مثال ‪ :‬برهن أن ‪ (𝒑 + 𝒒) ′ ∙ (𝒑 + 𝒒) = 𝒒 ∙ 𝒒′‬باستخدام جدول الحقيقة‬

‫الحل ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫‪𝒒′‬‬ ‫𝒒‪𝒑+‬‬ ‫𝒑(‬ ‫‪(𝒑 + 𝒒)′‬‬ ‫‪𝒒 ∙ 𝒒′‬‬

‫‪+ 𝒒)′‬‬ ‫)𝒒 ‪∙ (𝒑 +‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬ ‫𝟎‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬ ‫𝟎‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬ ‫𝟎‬
‫وهذا ما يسمى التكافؤ المنطقي ورمزه ≡ ‪.‬‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪3‬‬

 ‫سؤال ‪ :‬اكتب جدول الحقيقة للقضية التالية ‪. ( 𝒑 ⟺ 𝒒 ) ⟹ 𝒓 :‬‬

‫الحل ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫𝒓‬ ‫𝒒⟺𝒑‬ ‫𝒓⟹ )𝒒⟺ 𝒑(‬

‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬

‫وظيفة ‪:‬‬

‫و 𝒒 ⇒ 𝒑 ∶ 𝑺 برهن أن 𝑺 ≡ 𝑹 ‪.‬‬ ‫𝒒 ‪𝑹 ∶ 𝒑′ +‬‬ ‫‪ -1‬إذا كان‬

‫و 𝒒 ⟺ 𝒑 ∶ 𝑺 برهن أن 𝑺 ≡ 𝑹‬ ‫)𝒑 ⇒ 𝒒( ∙ )𝒒 ⇒ 𝒑( ∶ 𝑹‬ ‫‪ -2‬إذا كان‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪4‬‬

 ‫التوتولوجي والتناقض‬

‫‪ -1‬التوتولوجي ‪ ( Tautology‬حشو ) ‪ :‬هي القضية التي تكون دائما ً صحيحة بغض‬

‫النظرعن قيم الحقيقة لمكوناتها ‪.‬‬

‫مثال ‪ :‬أثبت أن العبارة )𝒒 ‪ 𝒑′ + (𝒑 +‬توتولوجي‬

‫الحل ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫‪𝒑′‬‬ ‫𝒒‪𝒑+‬‬ ‫)𝒒 ‪𝒑′ + (𝒑 +‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬

‫نالحظ أن جميع قيم العبارة هي ‪ 1‬فالعبارة توتولوجي ‪.‬‬

‫مثال ‪ :‬أثبت أن )𝒓 ⇒ 𝒑( ⇒ )𝒓 ⇒ 𝒒( ∙ )𝒒 ⇒ 𝒑( ≡ 𝑭 توتولوجي ‪.‬‬

‫الحل ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫𝒓‬ ‫𝒑‬ ‫𝒓⇒ 𝒒‬ ‫𝒓⇒𝒑‬ ‫)𝒒 ⇒ 𝒑(‬ ‫𝑭‬

‫𝒒⇒‬ ‫)𝒓 ⇒ 𝒒( ∙‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬

‫𝒑 ∙ )‪ 𝑭 = (𝒑 ∙ 𝒑′) ⇒ (𝒒 ∙ 𝒒′‬توتولوجي ‪.‬‬ ‫• وظيفة ‪ :‬أثبت أن‬

‫)𝒓 ⇒ 𝒑( ⇒ ])𝒓 ⇒ 𝒒( ‪ 𝑭 ≡ [(𝒑 ⇒ 𝒒) +‬توتولوجي ‪.‬‬ ‫• وظيفة ‪ :‬أثبت أن‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪5‬‬

‫‪ -2‬التناقض ‪ ( Contradiction‬تعارض) ‪ :‬هي القضية التي تكون دائما ً خاطئة بغض‬
‫النظرعن قيم الحقيقة لمكوناتها ‪.‬‬

‫مثال ‪ :‬أثبت أن العبارة )𝒒 ∙ 𝒑( ∙ ‪ 𝒑′‬تناقض ‪.‬‬

‫الحل ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫‪𝒑′‬‬ ‫𝒒∙𝒑‬ ‫)𝒒 ∙ 𝒑( ∙ ‪𝒑′‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬

‫نالحظ أن جميع قيم العبارة هي ‪ 0‬فالعبارة تناقض ‪.‬‬

‫• وظيفة ‪:‬‬
‫• أثبت أن ‪ 𝑭 = ( 𝒑 ∙ 𝒒) ∙ (𝒑 + 𝒒)′‬تناقض‬
‫• أثبت أن 𝒑 ‪ 𝑭 = ( 𝒑 ∙ 𝒒′ ⇒ 𝒒) ∙ 𝒒′ .‬تناقض ‪.‬‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪6‬‬

 ‫البوابات المنطقية ‪Logic Gates‬‬

‫عناصر الكترونية رقمية تمثل الوحدة االساسية في بناء األنظمة الرقمية وتقوم بتنفيذ توابع منطقية ‪.‬‬

‫• التابع المنطقي ‪Logic Function‬‬

‫عالقة بين مجموعة من القيم التي تمثل الدخل للحصول على النتيجة الخرج ‪.‬‬

‫• أنواع البوابات المنطقية‬

‫‪ -1‬البوابات األساسية ‪Not , And , Or :‬‬
‫‪ -2‬مستوى ثاني ‪Nand , Nor , Xor , Xnor :‬‬

‫• بوابة النفي ‪: Not‬‬

‫العاكس أو بوابة ‪ Not‬تؤدي عملية العكس أو االتمام فإذا كان الدخل ‪ 1‬فإن الخرج‬
‫يكون ‪ 0‬وإذا كان الدخل ‪ 0‬فإن الخرج يكون ‪ ، 1‬وبالتالي لهذه البوابة دخل واحد‬
‫وخرج واحد ‪ ،‬وفيما يلي رمزها المنطقي وجدول الحقيقة‬

‫𝒑‬ ‫𝒑 𝒕𝒐𝑵‬
‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫𝟎‬

‫𝑝‬ ‫‪𝑝′‬‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪7‬‬

 ‫• بوابة الضرب ‪: And‬‬

‫تعتبر البوابة ‪ And‬البوابات االساسية والتي تدخل في بناء معظم الدوال المنطقية لها مدخالن‬
‫أو أكثر ولها خرج واحد ‪ ،‬وتؤدي هذه البوابة ما يسمى بالضرب المنطقي‬
‫‪Logical Multiplication‬‬
‫ويمكن تمثيل هذه البوابة بعدد من المفاتيح الموصلة على التوالي في‬
‫دارة كهربائية حيث المفتاحان ‪ A , B‬يمثالن أثنين من المتغيرات الثنائية‬
‫‪ Two binary variables‬وتكون قيمة أي منهما تساوي ‪ 0‬عندما يكون مفتوح ‪ Open‬و‬
‫تساوي ‪ 1‬عندما يكون مغلق ‪ Closed‬كما هو موضح في الشكل التالي ‪:‬‬

‫أي أن المصباح ال يضيء إال إذا كان كل من المفتاحين مغلق ‪.‬‬

‫رمزها المنطقي وجدول الحقيقة‬

‫𝑝‬
‫𝑡𝑢𝑝𝑛𝐼‬ ‫𝑞∙𝑝‬ ‫𝑡𝑢𝑝𝑢𝑂‬
‫𝑞‬

‫𝒑‬ ‫𝒒‬ ‫𝒒∙𝒑‬

‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪8‬‬

 ‫• بوابة الجمع ‪: Or‬‬

‫تعتبر البوابة ‪ Or‬البوابات االساسية والتي تدخل في بناء معظم الدوال المنطقية لها مدخالن أو‬
‫أكثر ولها خرج واحد ‪ ،‬وتؤدي هذه البوابة ما يسمى بالجمع المنطقي‬
‫‪Logical Addition‬‬
‫ويمكن تمثيل هذه البوابة بعدد من المفاتيح الموصلة على التوازي في‬
‫دارة كهربائية حيث المفتاحان ‪ A , B‬يمثالن أثنين من المتغيرات الثنائية‬
‫‪ Two binary variables‬وتكون قيمة أي منهما تساوي ‪ 0‬عندما يكون مفتوح ‪ Open‬و‬
‫تساوي ‪ 1‬عندما يكون مغلق ‪ Closed‬كما هو موضح في الشكل التالي ‪:‬‬

‫أي أن المصباح ال يضيء إال إذا كان كل من المفتاحين أو احدهما مغلق ‪.‬‬
‫رمزها المنطقي وجدول الحقيقة‬

‫𝑝‬
‫𝑡𝑢𝑝𝑛𝐼‬ ‫𝑞‪𝑝+‬‬ ‫𝑡𝑢𝑝𝑢𝑂‬
‫𝑞‬

‫𝒑‬ ‫𝒒‬ ‫𝒒‪𝒑+‬‬

‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪9‬‬

 ‫• بوابة نفي الجمع ‪: Nor‬‬

‫𝑝‬
‫𝑡𝑢𝑝𝑛𝐼‬ ‫̅̅̅̅̅̅̅‬
‫𝑞‪𝑝+‬‬ ‫𝑡𝑢𝑝𝑢𝑂‬
‫𝑞‬

‫𝒑‬ ‫𝒒‬ ‫̅̅̅̅̅̅̅‬

‫𝒒‪𝒑+‬‬
‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪1‬‬ ‫𝟎‬

‫• بوابة نفي الضرب ‪: Nand‬‬

‫𝑝‬
‫𝑡𝑢𝑝𝑛𝐼‬ ‫𝑞∙𝑝‬
‫̅̅̅̅̅̅‬ ‫𝑡𝑢𝑝𝑢𝑂‬
‫𝑞‬

‫𝒑‬ ‫𝒒‬ ‫̅̅̅̅̅̅‬

‫𝒒∙𝒑‬
‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫𝟎‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪10‬‬

 ‫• بوابة الجمع الحصري ‪: Xor‬‬

‫𝑝‬
‫𝑡𝑢𝑝𝑛𝐼‬ ‫𝑞⨁𝑝‬ ‫𝑡𝑢𝑝𝑢𝑂‬
‫𝑞‬

‫𝒑‬ ‫𝒒‬ ‫𝒒⨁𝒑‬

‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬

‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫𝟎‬

‫مثال ‪ :‬أوجد جدول الحقيقة للتابع ‪ 𝑭 = 𝒑 ⋅ 𝒒′‬وارسم دارته المنطقية‬

‫الحل ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫‪𝒒′‬‬ ‫‪𝒑 ∙ 𝒒′‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬

‫𝑝‬
‫‪𝑝 ∙ 𝑞′‬‬
‫𝑞‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪11‬‬

 ‫مثال ‪ :‬أوجد جدول الحقيقة للتابع 𝒓 ‪ 𝑭 = 𝒑 ⋅ 𝒒′ +‬وارسم دارته المنطقية‬

‫الحل ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫𝒓‬ ‫‪𝒒′‬‬ ‫‪𝒑𝒒′‬‬ ‫𝒓 ‪𝒑𝒒′ +‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬

‫𝑝‬

‫𝑞‬ ‫𝐹‬

‫𝑟‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪12‬‬

 ‫• يمكن استنتاج التابع ‪ F‬من جدول الحقيقة ‪ ،‬كما في المثال التالي ‪:‬‬
‫مثال ‪ :‬أوجد التابع ‪ F‬إذا كان جدول حقيقته كما يلي ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫𝑭‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫الحل ‪:‬‬

‫اوالً نعين الواحدات في عمود 𝐅 ونكتب القيم المسؤولة عنها‬

‫𝒑‬ ‫𝒒‬ ‫𝑭‬

‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬ ‫‪𝑝′ 𝑞′‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬ ‫‪𝑝𝑞′‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬

‫وبالتالي ‪𝑭 = 𝒑′ 𝒒′ + 𝒑𝒒′‬‬

‫مثال ‪ :‬أوجد التابع المنطقي وارسم دارته المنطقية علما ً أن جدول الحقيقة له ‪:‬‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪13‬‬

 ‫𝒑‬ ‫𝒒‬ ‫𝒓‬ ‫𝑭‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫الحل ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫𝒓‬ ‫𝑭‬

‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬ ‫‪𝑝′𝑞′𝑟′‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬ ‫‪𝑝′𝑞𝑟′‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟏‬ ‫‪𝑝𝑞′𝑟′‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬

‫وبالتالي ‪𝑭 = 𝒑′ 𝒒′ 𝒓′ + 𝒑′ 𝒒𝒓′ + 𝒑𝒒′ 𝒓′‬‬

‫‪𝑭 = 𝒒′ 𝒓′ + 𝒑′ 𝒒𝒓′‬‬ ‫وباالختصار‬

‫𝑝‬

‫𝑞‬ ‫𝐹‬

‫𝑟‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪14‬‬

 ‫خرائط كارنوف ‪Karnaugh Maps‬‬

‫اعادة رسم جدول الحقيقة على صورة خاليا في جدول يمكن استخدامها فيما بعد في عملية‬
‫تبسيط التعابير البولينية وبالتالي اختصار الدارات ‪.‬‬

‫مثالً ‪ :‬ليكن لدينا جدول الحقيقة للتابع 𝒒𝒑 ‪ 𝑭 = 𝒑𝒒′ +‬التالي‬

‫𝒑‬ ‫𝒒‬ ‫𝑭‬

‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪1‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫𝟏‬

‫يكون تمثيله حسب كارنوف بالشكل ‪:‬‬

‫𝒑‬ ‫𝟎‬ ‫𝟏‬

‫𝒒‬
‫𝟎‬ ‫𝟎‬ ‫𝟏‬

‫𝟏‬ ‫𝟎‬ ‫𝟏‬

‫ثم‬

‫‪ -1‬نقوم عملية تجميع ( ‪ ) Grouping‬فقط للواحدات المتجاورة‬

‫‪ -2‬تكون الواحدات المتجاورة بوضع افقي او عمودي فقط ‪.‬‬
‫‪ -3‬يكون عدد الواحدات المتجاورة ( ‪) 1-2-4-8-16- . . . .‬‬

‫في الجدول السابق يوجد تجاور واحد كما هو موضح ضمن الحلقة‬

‫𝒑‬ ‫𝟎‬ ‫𝟏‬

‫𝒒‬
‫𝟎‬ ‫𝟎‬ ‫𝟏‬

‫𝟏‬ ‫𝟎‬ ‫𝟏‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪15‬‬

 ‫‪ -4‬نعبّر عن الحلقة بتعبير بوليني جديد كما يلي‬

‫𝒑‬ ‫𝐪‬
‫𝟏‬ ‫𝟎‬
‫𝟏‬ ‫𝟏‬

‫‪ -5‬نهمل العنصر يغير قيمته ونبقي على العنصر الثابت ‪ ،‬في الجدول األخير‬
‫العنصر 𝒑 حافظ على قيمته أما العنصر 𝒒 لم يحافظ وبالتالي نهمل 𝒒 وتكون‬
‫النتيجة 𝒑 = 𝑭 ‪.‬‬

‫مالحظة ‪ :‬يمكن أن يشترك تجاوران بنفس العدد ‪ . 1‬مثالً في هذا الجدول تجاوران‬

‫𝒑‬ ‫𝟎‬ ‫𝟏‬

‫𝒒‬
‫𝟎‬ ‫𝟎‬ ‫𝟏‬

‫𝟏‬ ‫𝟏‬ ‫𝟏‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪16‬‬

‫مثال ‪ :‬ليكن جدول الحقيقة التالي والمطلوب أوجد التابع المنطقي له واختصره‬
‫مستخدما ً جدول كارنوف ‪.‬‬

‫𝒑‬ ‫𝒒‬ ‫𝒓‬ ‫𝑭‬

‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟎‬

‫الحل ‪:‬‬

‫𝒑‬ ‫𝒒‬ ‫𝒓‬ ‫𝑭‬

‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬ ‫𝒓‪𝒑′𝒒′‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬ ‫‪𝒑′𝒒𝒓′‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫𝟎‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫𝟏‬ ‫𝒓‪𝒑𝒒′‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫𝟏‬ ‫‪𝒑𝒒𝒓′‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫𝟎‬

‫‪𝑭 ≡ 𝒑′ 𝒒′ 𝒓 + 𝒑′ 𝒒𝒓′ + 𝒑𝒒′ 𝒓 + 𝒑𝒒𝒓′‬‬

‫حسب كارنوف‬

‫𝒒𝒑‬ ‫𝟎𝟎‬ ‫𝟏𝟎‬ ‫𝟏𝟏‬ ‫𝟎𝟏‬

‫𝒓‬
‫𝟎‬ ‫𝟎‬ ‫𝟏‬ ‫𝟏‬ ‫𝟎‬

‫𝟏‬ ‫𝟏‬ ‫𝟎‬ ‫𝟎‬ ‫𝟏‬

‫نالحظ وجود تجاورين نعبر عنهما كما يلي‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪17‬‬

 ‫التجاور األول‬

‫𝒑‬ ‫𝐪‬ ‫𝒓‬

‫𝟎‬ ‫𝟏‬ ‫𝟎‬
‫𝟏‬ ‫𝟏‬ ‫𝟎‬

‫نهمل العنصر 𝒑 ألنه غيّر قيمته ونبقي على 𝒒 ألنه لم يغير قيمته كـ 𝒒 ألن قيمته الثابتة ‪1‬‬

‫ونبقي على 𝒓 ألنه لم يغّير قيمته كـ ‪ 𝒓′‬ألن قيمته الثابتة ‪0‬‬

‫التجاور الثاني‬

‫𝒑‬ ‫𝐪‬ ‫𝒓‬

‫𝟎‬ ‫𝟎‬ ‫𝟏‬
‫𝟏‬ ‫𝟎‬ ‫𝟏‬

‫نهمل العنصر 𝒑 ألنه غيّر قيمته ونبقي على 𝒒 ألنه لم يغير قيمته كـ ‪ 𝒒′‬ألن قيمته الثابتة ‪0‬‬

‫ونبقي على 𝒓 ألنه لم يغّير قيمته كـ 𝒓 ألن قيمته الثابتة ‪1‬‬

‫وبالتالي وبعد االختصار يكون‬

‫𝒓‪𝑭 ≡ 𝒒𝒓′ + 𝒒′‬‬

‫وظيفة ‪ :‬ليكن التابع المنطقي 𝒓𝒒‪𝑭 ≡ 𝒑′ 𝒒𝒓′ + 𝒑′ 𝒒′ 𝒓 + 𝒑′‬‬

‫اختصره مستخدما ً طريقة كارنوف ‪.‬‬

‫‪md91abbod@gmail.com‬‬ ‫إعداد محمد عبود‬ ‫‪18‬‬