במתמטיקה, משפט הייצוג של סטון קובע שכל אלגברה בוליאנית איזומורפית לאלגברה של קבוצות. אלגברה בוליאנית היא מבנה מתמטי שמתאר פעולות לוגיות כמו ו, או ו-לא. איזומורפית פירושו שיש התאמה מבנית ששומרת על הפעולות בין שני המבנים. המשפט חשוב בתורת האלגבראות הבוליאניות כי הוא נותן אפיון מלא שלהן. בנוסף, הוא מאפשר להשתמש בטכניקות מתורת הקבוצות כדי לפתור בעיות באלגבראות בוליאניות. המשפט הוכח ב-1936 על ידי מרשל סטון.
המשפט אומר שכל מערכת של כללי אמת ושקר דומה למערכת של קבוצות. אלגברה בוליאנית (מערכת של ו, או, לא) מתארת את הכללים האלה. איזומורפית, כלומר שני דברים עושים את אותו הדבר במבנה שונה. המשפט מאפשר להשתמש ברעיונות של קבוצות כדי להבין מערכות אלה. הוכח בשנת 1936 על ידי מרשל סטון.
תגובות גולשים