نتائج البحث

'''الفصل المنطقي المنفي''' - هي علاقة ثنائية في [[جبر بول|الجبر المنطقي]] على متغيرين، قدمت بواسطة [[تشارلز ساندرز برس|تشارلز بير ...\left( {Y \darr Y } \right) \equiv {X \wedge Y } </math> — [[جبر بول|عطف منطقي]] ...

...هي [[مصفوفة (رياضيات)|مصفوفة]] تحتوي على مدخلات من جبر منطقي. عندما تحتوي جبر Boolean على عنصرين فقط {0,1} تسمى مصفوفة Boolean بمصفوفة [[مصفوفة منطقية|من اجعل ''U'' عبارة عن جبر منطقي به عنصرين على الأقل. يتم التعبير عن التقاطع والتوحيد والتكامل واحتواء العنا ...

{{شريط بوابات|جبر|رياضيات}} [[تصنيف:تعبير منطقي]] ...

...ت، أو يمكن وصفه على انه أو([[جبر بول|فصل منطقي]]) لمجموعة و ([[جبر بول|عطف منطقي]])، أو مجموع المضروبات، أو بالمنطق الفلسفي مفهوم الجمع. كشكل عادي يكون مفيد ...ة في الشكل العادي المنفصل إذا كان [[جبر بول|فصل منطقي]] لواحد أو أكثر من [[جبر بول|العطوف المنطقية]] لواحد أو أكثر من الرموز(حروف).<ref name="Davey.Priest ...

'''عكس الاستلزام''' {{إنج|Converse Implication}} هو عكس [[استتباع منطقي|الاستلزام المنطقي]]، ويكتب ←. ذلك بالقول؛ ان أي اثنين من [[قضية (فلسفة)|الق عكس الاستلزام يكافئ منطقيا [[جبر بول|الفصل]] "<math>P</math> و <math>\neg Q</math>" ...

...بين [[افتراض (منطق)|افتراضات]] تكون صحيحة عندما تلي كل خطوة التالية بتسلسل منطقي. إن مدى [[صحة (المنطق)|صحّة]] أي [[حجة (منطق)|حجة]] منطقية يكون إذا أمكن وج * [[تكافؤ منطقي]] ...

* [[تقاطع (نظرية المجموعات)|تقاطع (جبر)]] [[تصنيف:جبر منطقي]] ...

...it point) ل <math>A</math>. بمعنى أن <math>A</math> تمكن من حصر (بالمعنى [[جبر|الجبري]] [[الطوبولوجيا العامة|الطوبولوجي]]) جميع عناصر <math>X</math>.<ref ...أيضا '''<math>A</math> كثيف في كل مكان'''، إذا تحققت إحدى الخصائص [[تكافؤ منطقي|المتكافئة]] التالية: ...

[[تصنيف:جبر منطقي]] ...

في اقتراح منطقي معين يمكن تعريف الصيغة على النحو التالي: * [[جبر بول]] ...

[[تصنيف:جبر منطقي]] ...

[[تصنيف:جبر منطقي]] ...

[[تصنيف:جبر منطقي]] ...

يستخدم المنطق التوافقي في دارات الحاسوب لتنفيذ عمليات [[جبر بول]]ي على المدخلات وعلى البيانات المخزنة. تحتوي دوائر الكمبيوتر عادةً على ...}}} || {{لاغليظ|{{mvar|B}}}} || {{لاغليظ|{{mvar|C}}}} || Result || [[تكافؤ منطقي|Logical equivalent]] ...

...''{{إنج|true}}. رغم ذلك فإن العديد من لغات البرمجة لا تحتوي على نوع بيانات منطقي بالمعنى الدقيق للكلمة. في [[سي++]] أو [[بيسيك]]، على سبيل المثال يُمثيل الخ {{شريط بوابات|منطق|رياضيات|جبر|علم}} ...

كل مجموعة من هذه المجموعات [[جبر على حقل]] وهي بالتالي [[فضاء متجهي|فضاءات متجهية]] على <math>\mathbb{R}</ma بما أن قابلية الاشتقاق [[استتباع منطقي|تستلزم]] [[دالة مستمرة|الاتصال]] فإن هذه المجموعات تحقق تراتبية التضمين الت ...

في [[جبر بول|المنطق البوليني]]، '''داله الأغلبية'''(وتسمى أيضًا '''المشغل الوسيط''') ...لتعبير يشير إلى نفس العملية بشكل مستقل عما إذا كان الرمز + يُفسر على أنه [[جبر بول|شامل]] أو حصري. ...

في [[جبر خطي|الجبر الخطي]] هو خاصية لمتجهات، غير منعدمة، يكون لها نفس الاتجاه. ...athbb{K}</math>، الزوج <math>(x,y)\in E^2</math> يكون متداخلا خطيا [[تكافؤ منطقي|إذا وفقط إذا]] وجد زوج غير منعدم <math>(a,b)\in \mathbb{K}^2</math> يحقق: < ...

...مخرج أحد البوابات المنطقية كمدخل لبوابة أخرى. المنطق المستخدم غالباً هو [[جبر بول|المنطق البولياني]] (Boolean logic)، وهو المنطق الذي يعمل في [[إلكترونيا ...ة منطقية(عدة بوابات منطقية) حيث يوضح قيمة [[مخرج منطقي|المخرج]] لكل [[مدخل منطقي]] محتمل، ويمكن أن يستخدم في تبسيط عدد البوابات المنطقية عند تصميم دائرة منط ...

[[تصنيف:جبر منطقي]] ...