algebra of logic

L'algèbre de Boole est la partie des mathématiques, de la logique et de l'électronique qui s'intéresse aux opérations et aux fonctions sur les variables logiques. Le nom provient de George Boole, un mathématicien britannique qui, durant le milieu du , restructura complètement la logique en un système formel. Plus spécifiquement, l'algèbre booléenne permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs de la logique des propositions.
Pour la suite, voir Wikipédia.org…

לוגיקה בוליאנית הנו ענף מתחום הלוגיקה המתמטית והאלגברה הבוליאנית. ענף זה עוסק בפסוקים אלגבריים שאיבריהם שייכים לקבוצה שאיבריה הם ו- כאשר שני ערכים אלו מיצגים בהתאמה 'שקר' ו-'אמת'. לענף זה שימוש רב בתחשיב פסוקים, באלקטרוניקה ובמדעי המחשב.
להמשך המאמר ראה Wikipedia.org...

Boolesche Algebra

布尔代数
Boolean algebra, algebra of logic

COMPUTER
الجبر المنطقي