---
title: Algebra of Logic
localeTitle: جبر المنطق
---
## جبر المنطق

جبر المنطق أو الجبر اليوناني هو فرع من الرياضيات حيث يتعامل مع المتغيرات وقيمتها الحقيقية يحتوي الجبر اليوناني على ثلاث عمليات أساسية و هي كالتالي

**لا ،و ،أو**

`NOT` `AND` `OR`

:مثال

`AND`

متغيرين منطقيين Y و X ليكن 

* صحيح Y صحيح و X إذا كان

صحيحة Y و X فإن العبارة

* خطأ Y صحيح و X إذا كان

خطأ Y و X فإن العبارة

* صحيح Y خطأ و X إذا كان

خطأ Y و X فإن العبارة

* خطأ Y خطأ و X إذا كان

خطأ Y و X فإن العبارة 

![alt text][AND]

[AND]: https://i.imgur.com/qQGOiyC.png "AND"

`OR`

* صحيح Y صحيح أو X إذا كان

صحيحة Y أو X فإن العبارة

* خطأ Y صحيح أو X إذا كان

صحيحة Y أو X فإن العبارة

* صحيح Y خطأ أو X إذا كان

صحيحة Y أو X فإن العبارة

* خطأ Y خطأ أو X إذا كان

خطأ Y أو X فإن العبارة


![alt text][OR]

[OR]: https://i.imgur.com/uDbypks.png "OR"

`NOT`

`AND NOT`

* خطأ Y خطأ و X إذا كان

صحيح Y صحيح أو  X فإن نفي هذه العبارة هو  

* صحيح Y خطأ و X إذا كان

 خطأ Y صحيح أو  X فإن نفي هذه العبارة هو

* خطأ Y صحيح و X إذا كان

صحيح Y خطأ أو  X فإن نفي هذه العبارة هو  

* صحيح Y  صحيح و X إذا كان

خطأ Y خطأ أو  X فإن نفي هذه العبارة هو  

`OR NOT`

* خطأ Y خطأ أو X إذا كان

صحيح Y صحيح و  X فإن نفي هذه العبارة هو

* خطأ Y صحيح أو X إذا كان

صحيح Y خطأ و  X فإن نفي هذه العبارة هو

* صحيح Y خطأ أو X إذا كان

خطأ Y صحيح و  X فإن نفي هذه العبارة هو

* صحيح Y صحيح أو X إذا كان

خطأ Y خطأ و  X فإن نفي هذه العبارة هو

![alt text][NOT]

[NOT]: https://i.imgur.com/u7dfnuA.png "NOT"

![alt text][NOT AND NOT OR]

[NOT AND NOT OR]: https://i.imgur.com/6x8Z0pj.png "NOT AND NOT OR"



### : معلومات اكثر

*   حساب التفاضل والتكامل في المنطق: [جورج بول](http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html)
*   بولي الجبر المادة: [ويكيبيديا](https://en.wikipedia.org/wiki/Boolean_algebra)
