מודרניים המבוססים על מחשבים אלקטרוניים "עתיקים", כעקרונות הבסיסיים של פעולה המבוססים על הנחות מסוימות.הם נקראים החוקים של אלגברה של היגיון.המשמעת הראשונה מהסוג שתוארה (בוודאי לא מפורטת כמו במתכונתו הנוכחית) מדען יווני עתיק אריסטו.
הצגת סניף נפרד של מתמטיקה שבו אנחנו לומדים את התחשיב הפסוקים, אלגברה, יש היגיון מספר הממצאים ומסקנות מיושרים היטב.
כדי להבין את הנושא טוב יותר, לנתח מושגים שיעזרו לי בעתיד ללמוד את החוקים של אלגברה של היגיון.
אולי הטווח העיקרי במשמעת המחקר - הצהרה.סוג זה של הצהרה כי לא יכול להיות גם אמת ושקר.הוא מאופיין תמיד על ידי רק אחד מהמאפיינים אלה.זה תנאי קיבל את האמת כדי לתת ערך של 1, כזב - 0, וקורא לעצמו דוח על כמה אות לטינית: A, B, C. במילים אחרות, הנוסחה = 1 אומר שההצעה נכונה.עם הצהרות יכול לבוא בדרכים רבות ושונות.בקצרה לשקול את הפעולות שאתה יכול לעשות איתם.נציין גם את החוקים של אלגברה של היגיון שאי אפשר ללמוד כי בלי לדעת את הכללים.דיסיונקציה
1. של שני דוחות - התוצאה של הפעולה "או".זה יכול להיות או שקר או אמת.היא משתמשת «נ» הסמל.
2. יחד.תוצאת של מעשים כאלה בוצעו בשני דוחות, תהיה הצהרה חדשה אמיתית רק אם שני ההצהרות הן מקור אמיתי.השתמש בסמל "i" "^".
3. משמעות. מבצע "אם, אז B".התוצאה היא הצהרה, שקר רק אם האמת של A ו- B. הוא משמשת סמל כזב «- & gt;».
4. השקילות.מבצע «אם ורק אם B כאשר".הצהרה זו נכונה כאשר שני המשתנים זהה ההערכה.היא משתמשת בסמל «& lt; - & gt;».
יש גם סדרה של פעולות, בדומה למשמעות, אך במאמר זה, הם לא ייחשבו.
עכשיו לשקול בפירוט את החוקים הבסיסיים של אלגברה של היגיון: ששינוי במונחים של צירופים לוגיים פעולות או disjunctions בתוצאה יש
1. המדינות חלופי וחלופיות לא הייתה השפעה.אסוציאטיבי
2. או אסוציאטיבי.על פי חוק זה, משתנה בפעולות של שיתוף וניתק ניתן לקבץ.הפצת
3. או הפצה.מהותו של החוק היא, שניתן בחשבון את אותם משתנים במשוואות מבלי לשנות את ההיגיון.
4. החוק של דה מורגן (היפוך או הכחשה).הכחשת פעילות היא שווה ערך לשיתוף של שלילת ניתק של המשתנים המקוריים.הכחשה של הניתק, בתורו, שווה לשיתוף של שלילת אותם משתנים.
5. שלילי זוגי.ההכחשה של הצהרת תוצאות בפעמים פעמיים המקוריות הצהרת שלוש - שלילתה.חוק 6. idempotency
כדלקמן לתוספת ההגיונית: xvxvxvx = x;לכפל: x ^ x ^ x ^ = x.
7. החוק של אי-סתירה קובע: שני דוחות אם הם סותרים, באותו הזמן לא יכול להיות נכון.
8. החוק של אמצע נכלל במחקר.בין שתי ההצהרות הסותרות אחד - תמיד נכונות, אחר -, אין אמצע קרקע שווא.
9. ניתן לכתוב החוק של קליטה באופן כזה לתוספת הגיונית: = xv (x ^ y) x, לכפל: x ^ (xvy) = x.מליטה חוק 10.
.שני צירופים סמוכים מסוגלים להישאר ביחד, ויצר שילוב של דרגה נמוכה יותר.כאשר זה משתנה, שבו שיתוף המקורי מודבק נעלם.דוגמא לתוספת הגיונית:
(x ^ y) נ (^ y -x) = y.
שקלנו את החוקים רק הנפוצים ביותר של אלגברה של היגיון, שלמעשה יכול להיות הרבה יותר, כפי שהוא לעתים קרובות המשוואות הגיוניות לרכוש מראה ארוך ומקושט, שניתן לחתוך על ידי יישום מספר החוקים דומים.
ככלל, לנוחיות של ספירה וזיהוי התוצאות באמצעות טבלאות מיוחדות.כל החוקים הקיימים של האלגברה של היגיון, השולחן שבו יש את המבנה הכללי של מלבן הרשת שצויר על ידי הפצת כל משתנה בתא נפרד.המשוואה גדולה יותר, קל יותר להתמודד עם זה על ידי שימוש בשולחן.
