|
|
עמוד:87
ב . מטבלה 3 . 4 אפשר להסיק את הזהות הבאה A = A זהות זו נקראת כלל השלילה הכפולה . ' הזהות שקיבלנו בדוגמה 3-5 ידועה לנו גם מהשימוש הרגיל בלשון ו אם שוללים פעמיים טענה כלשהי מקבלים שוב אותה טענה . לדוגמה : קיבלתי תעודת "הנדסאי . " שלילה כפולה זה לא נכון שלא קיבלתי תעודת '' הנדסאי . " מהי תוצאת פעולת , OR ומהי תוצאת פעולת AND בין ביטוי לוגי לבין עצמו ? נמחיש את השאלה באמצעות שני הפסוקים הבאים ו אני רוחץ בים , אס הוא נקי וגם נקי . אני רוחץ בים , אם הוא נקי או נקי . האם קיימות כפילויות מיותרות בפסוקים אלה ? נשיב על שאלות אלה בעזרת טבלאות אמת . לשם כך נסמן A-1 את הפסוק "הים נקי . " השאלה לעיל תקבל עתה את הצורה ו מה ערכם של הביטויים הבוליאניים הבאים A + A = ? A-A = ? נוכל לחשב את ערכי הביטויים באמצעות טבלאות אמת , כמתואר בטבלה . 3 . 5 כלל השלילה הכפולה . A = A טבלה 3 . 5 טבלאות אמת של הביטויים A + A-1 A ? A
|
|