תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
כותרות דפים תואמות
- ...י האנגלי [[ג'ורג' בול]] ([[1815]]–[[1864]]). זהו גם שמו של התחום "[[אלגברה בוליאנית]]" העוסק בחקר אלגברות בוליאניות. כמבנה אלגברי, אלגברה בוליאנית היא אוסף של איברים, עם פעולות המקיימות [[אקסיומה|אקסיומות]] מסוימות. האקסיו ...29 ק"ב (1,159 מילים) - 02:41, 3 במרץ 2025
דפים עם תוכן תואם
- ...thcal{F}</math> של תת-קבוצות של <math>X</math> המקיים את תכונות ה[[סגירות (אלגברה)|סגירות]] הבאות: משתי הדרישות האחרונות ומ[[כללי דה-מורגן]] נובע גם כי אלגברה של קבוצות סגורה ל[[חיתוך (מתמטיקה)|חיתוך]] באורך סופי. ...2 ק"ב (84 מילים) - 10:22, 25 באוגוסט 2023
- הפעולה המקבילה ב[[אלגברה בוליאנית]], נקראת '''AND''', והיא [[פעולה בוליאנית]] שתוצאתה "אמת" (או "1") רק כאשר כל האופרנדים שלה הם "אמת". [[קטגוריה:לוגיקה בוליאנית]] ...2 ק"ב (81 מילים) - 05:17, 21 בספטמבר 2022
- ב[[אלגברה בוליאנית]], '''NAND''' הוא [[פעולה בוליאנית]] אשר תוצאתה היא ההפך של פעולת [[וגם (לוגיקה)|AND]] על אותם אופרנדים. בהתאם ...[[חוקי דה מורגן]] ניתן להציג את כל הפעולות הבסיסיות של ה[[אלגברה בוליאנית|אלגברה הבוליאנית]] - ...3 ק"ב (100 מילים) - 22:01, 31 באוגוסט 2023
- '''מעגל צירופי''' הוא מעגל [[לוגיקה בוליאנית|לוגי]], בו הפלט תלוי בקלט הנוכחי בלבד, כלומר [[אי תלות בזמן|אין תלות בזמן]] כניסת ויציאת המעגל הם [[וקטור (אלגברה)|וקטורים]] [[בסיס בינארי|בינאריים]], או במילים פשוטות "שורת סיביות" של אפסי ...3 ק"ב (80 מילים) - 18:20, 23 באוקטובר 2024
- ...ימוש בסיגמא-אלגברה נפוץ במיוחד ב[[תורת הקבוצות]], [[תורת המידה]] ו[[אלגברה בוליאנית|אלגבראות בוליאניות]]. סיגמא-אלגברה על [[קבוצה (מתמטיקה)|קבוצה]] <math>X</math> היא משפחה <math>\mathcal{A}</ma ...5 ק"ב (148 מילים) - 21:47, 11 בפברואר 2024
- '''פונקציה בוליאנית''' (לעיתים נקראת פְּרוֹפּוֹזִיצְיה או פְּרֵדִיקָט) היא [[פונקציה]] המתאימה בשפה המתמטית [[פונקציה]] f תקרא ''בוליאנית'' אם היא פונקציה <math>f: X \rightarrow \{0,1\}</math> וזו מקיימת את הגדרת ...3 ק"ב (130 מילים) - 16:46, 21 ביוני 2023
- ...יקרית היא בכך שחוג בוליאני אינו אלא [[אלגברה בוליאנית (מבנה אלגברי)|אלגברה בוליאנית]] בתחפושת (ראו להלן). אוסף החוגים הבוליאניים הוא [[מגוון (אלגברה אוניברסלית)|מגוון]] (המוגדר על ידי הזהות האידמפוטנטית) ולכן הוא סגור למעבר ...7 ק"ב (228 מילים) - 21:53, 15 במרץ 2025
- ...חות אחד מה[[אופרנד]]ים שלה הוא בעל ערך אמת "אמת". הסימון של "or" ב[[אלגברה בוליאנית]] הוא <math>a + b = f</math>, כאשר <math>a</math> ו-<math>b</math> הם הכניס ...ות|שפות התכנות]] קיים [[אופרטור (תכנות)|אופרטור]] למימוש OR לוגי ב[[אלגברה בוליאנית (מבנה אלגברי)|ביטויים לוגיים]], המשמשים ב[[פקודת IF]] וב[[פקודת השמה]]. הצו ...4 ק"ב (116 מילים) - 23:34, 12 באפריל 2023
- {{פירוש נוסף|נוכחי=[[אלגברה בוליאנית (מבנה אלגברי)|אלגברה בוליאנית]]|אחר=[[תרמודינמיקה]]|ראו=[[מנוע קרנו]]}} ...רנו''' היא שיטה לצמצום [[ביטוי (מתמטיקה)|ביטויים]] הנהוגה בבעיות ב[[אלגברה בוליאנית]]. ...7 ק"ב (166 מילים) - 05:56, 4 באפריל 2023
- ...כללים ב[[לוגיקה]], ב[[תורת הקבוצות]] וב[[אלגברה בוליאנית]] (בפרט, [[לוגיקה בוליאנית]]), הקושרים את הפעולות הבסיסיות בתחומים אלה. ...ברה בוליאנית (מבנה אלגברי)|אלגברה בוליאנית]]''': הכללים קושרים את ה[[פעולה בוליאנית|פעולות]] "חיבור", "כפל", "שלילה". ...6 ק"ב (264 מילים) - 07:32, 20 ביולי 2023
- '''פונקציה בוליאנית''' <math>\ f</math> על <math>\ n</math> משתנים, נקראת '''חמקנית''' (evasive לא כל פונקציה בוליאנית היא חמקנית. נבחן לדוגמה את הפונקציה הבאה: ...4 ק"ב (151 מילים) - 02:01, 11 ביולי 2020
- ב[[אלגברה בוליאנית]], '''פונקציית זוגיות''' היא [[פונקציה בוליאנית]] המחזירה 1 אם מספר האחדות בווקטור הקלט הוא אי זוגי. פונקציית הזוגיות היא [[פונקציה בוליאנית סימטרית]]. ...5 ק"ב (187 מילים) - 15:51, 2 בפברואר 2022
- ...]. מבנים העוסקים בפעולות בינאריות הם [[חבורה (מבנה אלגברי)|חבורה]], [[חוג (אלגברה)|חוג]], [[שדה (מבנה אלגברי)|שדה]] ועוד. ב[[לוגיקה בוליאנית]] נפוץ השימוש ב[[פעולה בוליאנית|פעולות בוליאניות]] בינאריות: [[או (לוגיקה)|או]], [[וגם (לוגיקה)|וגם]], [[XO ...4 ק"ב (158 מילים) - 02:31, 1 באוגוסט 2024
- כל קַשָּׁר לוגי מייצג [[פעולה בוליאנית]] על ערכי האמת של האיברים המתקבלים כקלט, ומקושרת אליו [[טבלת אמת]] ספציפית. ...כך שישנם ארבעה קשרים אונאריים ו־16 קשרים בינאריים, ובתחומים כגון [[אלגברה בוליאנית|האלגברה הבוליאנית]] נעשה שימוש גם בקשרים נוספים, בהם [[XNOR לוגי|XNOR]] ו-[ ...3 ק"ב (138 מילים) - 07:57, 11 בפברואר 2025
- ...תת-הקבוצות של X הוא סריג שלם; לא כל [[אלגברה בוליאנית (מבנה אלגברי)|אלגברה בוליאנית]] היא שלמה. הסריג שמגדיר יחס סדר מלא הוא שלם, [[אם ורק אם]] הסדר וההפכי לו באופן דומה לזה, יש התאמה מלאה בין סריגים לבין [[אלגברה בוליאנית|אלגברות בוליאניות]]. ...6 ק"ב (220 מילים) - 07:03, 26 בספטמבר 2023
- ב[[מתמטיקה]] ([[אלגברה]]), '''חוק הפילוג''' הוא חוק המקשר בין שתי [[פעולה בינארית|פעולות בינאריות] * ב[[אלגברה בוליאנית]], פעולות ה"וגם" וה"או" מתפלגות זו מעל זו. ...3 ק"ב (89 מילים) - 00:38, 7 בפברואר 2025
- ...|אלגברת המטריצות]] <math>\operatorname{M}_2(F)</math>. באופן כללי יותר, כל אלגברה המתקבלת מ[[בניית קיילי-דיקסון]] היא ריבועית. ...ה נולדת מהרחבה כזו. כל אלגברה ריבועית היא [[אלגברה בעלת חזקות אסוציאטיביות|אלגברה בעלת חזקות אסוציאטיביות במובן החזק]]. ...5 ק"ב (244 מילים) - 05:53, 21 ביולי 2023
- ...נים שימושים רבים בתורת הקבוצות המודרנית, לרבות [[לוגיקה מתמטית]] ו[[אלגברה בוליאנית]], וב[[טופולוגיה]] (דרך [[קומפקטיפיקציית סטון-צ'ך]]). === ניסוח במונחי אלגברה בוליאנית === ...10 ק"ב (416 מילים) - 06:14, 2 בינואר 2025
- [[קטגוריה:אלגברה בוליאנית]] ...2 ק"ב (45 מילים) - 19:00, 24 באפריל 2024
- פעולת ההפרש הסימטרי היא המקבילה בתורת הקבוצות לפעולת ה-[[XOR]] ב[[אלגברה בוליאנית]]. ...3 ק"ב (110 מילים) - 19:27, 8 בפברואר 2024