כללי דה מורגן – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:q173300 |
אין תקציר עריכה |
||
שורה 6:
:<math>\neg(P\vee Q)=(\neg P)\wedge(\neg Q)</math>
{|class="wikitable" style="float:left; text-align:center;"
|-
|[[קובץ:Venn1100.svg|150px]]
|[[קובץ:Venn1010.svg|150px]]
|-
|[[קובץ:Venn1000.svg|150px]]
|-
|colspan="3"| הדגמה של אחד הכללים בעזרת [[דיאגרמת ון]]. שתי התמונות{{ש}} העליונות הן המשלימים של הקבוצות המיוצגות על ידי המעגלים.{{ש}} התמונה התחתונה מייצגת את החיתוך שלהן- השטח המשותף{{ש}} לשתיהן, שהוא המשלים של האיחוד שלהן.
|}
* '''תורת הקבוצות''': הכללים קושרים את הפעולות "[[איחוד (מתמטיקה)|איחוד]]", "[[חיתוך (מתמטיקה)|חיתוך]]", "[[משלים (מתמטיקה)|משלים]]". בכתיב פורמלי הם מוצגים כך:
שורה 11 ⟵ 20:
:<math>(A\cup B)^C=A^C\cap B^C</math>
ובאופן כללי: <math>\ \left(\bigcup_{} A_i \right )^C = \bigcap_{} A_i^C</math>, ו-<math>\ \left(\bigcap_{} A_i \right )^C = \bigcup_{} A_i^C</math>
* '''אלגברה בוליאנית''': הכללים קושרים את ה[[פעולה בוליאנית|פעולות]] "חיבור", "כפל", "שלילה".
| |||