|
|
صفحة: 133
בטבלת האמת שבה , / = 0 מקבלים את היספן על-ידי שלילת אותם המשתנים שערכם 1 באותה שורה . לפיכך , נסמן את היספן A + B + C על-ידי . M לאיבר זה מתאים הצירוף הבינרי . 010 בטבלה 4 . 7 מופיעים כל הצירופים האפשריים של שלושה משתנים , C-1 B , A וכן הכפלנים והיספנים המתאימים לצירופים השונים . פונקציה מסוימת f ( A , B , Q מתוארת על-ידי כפלנים . מה יהיה התיאור השקול של הפונקציה על-ידי יספניםי אם , למשל , /( . 4 , 5 , 0 = 1 ( 1 , 2 , 5 , 6 ) הרי שאותה פונקציה ניתנת לתיאור גם בצורה כלומר , אם הפונקציה f ( A , B , C ) מקבלת את הערך / = 1 עבור השורות 6 , 5 , 2 , 1 בטבלת האמת , היא תקבל - בהכרח - את הערך / = 0 עבור השורות . 7 , 4 , 3 , 0 מכאן שתיאור הפונקציה הנתונה f ( A , B , Q יהיה A' באמצעות כפלנים י f ( A , B , C ) = m ] + m + m + m 6 ובאמצעות יספנים יהיה התיאור של אותה פונקציה ו f ( A , B , Q = M -M -M -M 7 נציב את הביטויים המפורשים של הכפלניס והיספנים המתאימים ( ראו טבלה , ( 4 . 7 ונקבל : f { A , B , C ) = ABC + ABC + ABC + ABC או f ( A , B , C ) = ( A + B + C )( A + B + C )( A + B + C )( A + B + C ) באופן כללי , אם m אינו מופיע בתיאור הפונקציה כסכום של מכפלות קנוניות , אז יופיע M ( בתיאור אותה פונקציה ) כמכפלה של סכומים קנוניים , ולהיפך .
|
|