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

_جبر المنطق_ أو _الجبر البولياني_ هو فرع الرياضيات. انها تتعامل مع المتغيرات وقيمتها الحقيقة. لدى المتغيرات حالتين محتملتين - `true` أو `false` .

تم تقديمه لأول مرة من قبل جورج بول في كتابه "التحليل الرياضي للمنطق" (1847).

الجبر البولي منطقية لتنمية الإلكترونيات الرقمية. وهي مسؤولة عن جعل جميع الحوسبة الحديثة ممكنة.

العمليات الأساسية الثلاث في الجبر البولياني هي `AND` `OR` و `NOT` . فكر في اثنين من المتغيرات المنطقية `x` و `y` :

*   `x AND y` صحيح إذا وفقط إذا كان كل من `x` و `y` صحيحين
*   `x OR y` صحيح إذا وفقط إذا كان أي من `x` ، `y` صحيحًا. إذا كانت `x` ، `y` صحيحان ، فإن `x OR y` لا يزال صحيحًا
*   `NOT x` is true if and only if `x` is false and the correct versa

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

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