רוטר - מערכת קשרים שלמה הוכחה

יומן פעילות	לוח שנה	מבזקי חדשות	תקנון	RSS	כותרות	כותרות לפי תגובה	ניקוי קוקיז	IP	להורדת אפליקציה
eBay	AliExpress	GearBest	Amazon	Booking	Kiwi	SkyScanner	Trip Advisor

"מערכת קשרים שלמה הוכחה"

גירסת הדפסה

קבוצות דיון לימודים, מדע ותרבות נושא #21356	מנהל סגן המנהל מפקח Winner צל"ש מומחה

אשכול מספר 21356

Crazy Lion

חבר מתאריך 1.7.02
19328 הודעות, 9 פידבק, 16 נקודות

20:22 18.11.15

מערכת קשרים שלמה הוכחה

http://rotter.name/User_files/nor/564cc1bd5d8543ab.png
איך אני מוכיח את השני.
אני לא כל כך מבין איך הולכת ההוכחה למעשה.
1) לוקחים מערכת שכן מערכת שלמה נגיד {not,and}
ומנסים למשש באמצעות הפסו not,and,גורר ?
מה מנסים להראות שקילות?
תודה מראש
@ShocKi@

מילוי סקרים בתשלום למי שמעונין ,
משלם בזמן וקל להגיע ליעד :
https://goo.gl/EJh6V2

שתף

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

האשכול	מחבר	תאריך כתיבה	מספר
אתה צריך להראות שאתה יכול להגיע לכל פעולה לוגית	Bar	18.11.15 21:44	1
קראתי אתמול ברשת אינספור פעמים הוכחות ולא מצליח להבין מה לעשות..	Crazy Lion	19.11.15 11:24	2
אני אומנם לא למדתי בדיוק את המקצוע שאתה לומד, אבל זה אותו עקרון	Bar	19.11.15 15:16	3
ישבתי על זה ועל ההרצאה	Crazy Lion	20.11.15 20:37	6
סוף סוף נפל האסימון :)	Crazy Lion	20.11.15 21:15	7
אין לי מושג מה רשמת פה אבל סבבה	Bar	21.11.15 00:09	8
קבל מה מצאתי - דקה 18:47	The Boss	19.11.15 18:54	4
המון תודה:)	Crazy Lion	20.11.15 17:54	5

Bar

חבר מתאריך 24.3.02
24027 הודעות, 7 פידבק, 14 נקודות

21:44 18.11.15

1. אתה צריך להראות שאתה יכול להגיע לכל פעולה לוגית
בתגובה להודעה מספר 0

מהסט הנתון, כאשר בעצם מספיק להגיע לאוסף פעולות שידוע כבר כמערכת שלמה כמו nand ו nor...

נשלח ע"י הסלולרי

He who makes a beast out of himself,
gets rid of the pain of being a man.

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Crazy Lion

חבר מתאריך 1.7.02
19328 הודעות, 9 פידבק, 16 נקודות

11:24 19.11.15

2. קראתי אתמול ברשת אינספור פעמים הוכחות ולא מצליח להבין מה לעשות..
בתגובה להודעה מספר 1

אפשר אולי דוגמא ממשית?
ניסיתי להוכיח עם המערכת לא, וגם
אבל גם הסתבכתי
מה זה NOR או NAND? זה החץ למעלה והחץ למטה לא? אבל מה הפירוש המילולי שלהם?

תודה מראש

מילוי סקרים בתשלום למי שמעונין ,
משלם בזמן וקל להגיע ליעד :
https://goo.gl/EJh6V2

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Bar

חבר מתאריך 24.3.02
24027 הודעות, 7 פידבק, 14 נקודות

15:16 19.11.15

3. אני אומנם לא למדתי בדיוק את המקצוע שאתה לומד, אבל זה אותו עקרון
בתגובה להודעה מספר 2

בגדול, בשביל שתהיה לך מערכת לוגית שלמה, אתה צריך שיהיה לך אפשרות להגיע לכל פעולה לוגית שקיימת בעזרת הסט הנתון.
לדוגמה, אם ברשותי NOT ו-AND, אני יכול להגיע גם ל-OR, XOR, יחס גרירה וכו׳...
NOR = (A+B)NOT
NAND = (A*B)NOT
(באופן כללי, הגדרה של פעולה לוגית בינארית היא ע״י טבלת האמת שלה. בהינתן 2 קלטים P ו-Q, ייצא ערך של True או False)
NOR ו-NAND ידועים בתור שערים לוגיים אוניברסליים, שהם בעצם מורכבים מ-NOT ו-AND/OR.
אם בעזרת הסט הנתון אתה יכול להגיע ל-NOT ול-AND/OR, אתה יכול בעזרת שרשרת פעולות מסויימת של הפעולות הנתונות להגיע לכל פעולה אחרת, וככה אתה מוכיח.
סתם לדוגמה אם יש לי רק NAND (שזה בעצם NOT ו-AND), אני יכול להגיע ל-OR:

P OR Q = NOT( (NOT P) AND (NOT Q) )

He who makes a beast out of himself,
gets rid of the pain of being a man.

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Crazy Lion

חבר מתאריך 1.7.02
19328 הודעות, 9 פידבק, 16 נקודות

20:37 20.11.15

6. ישבתי על זה ועל ההרצאה
בתגובה להודעה מספר 3

אבל מבחינת הוכחה
נגיד בראשון בשביל להוכיח מערכת של "לא", "או"
אני צריך להראות שבעזרת P ו Q אני יכול להגיע ל
not P T
not Q T
not(P"or"Q) גם שיהיה T
נכון ?

@Bar@

מילוי סקרים בתשלום למי שמעונין ,
משלם בזמן וקל להגיע ליעד :
https://goo.gl/EJh6V2

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Crazy Lion

חבר מתאריך 1.7.02
19328 הודעות, 9 פידבק, 16 נקודות

21:15 20.11.15

7. סוף סוף נפל האסימון :)
בתגובה להודעה מספר 1

תודה רבה לך
פשוט כדי להוכיח מערכת שהיא שלמה אז אתה מראה שבעזרת אטום P שהוא T
אטום Q שהוא T שאתה מגיע למערכת שלמה אחרת וגם ההשמות שם T

תודה רבההה

מילוי סקרים בתשלום למי שמעונין ,
משלם בזמן וקל להגיע ליעד :
https://goo.gl/EJh6V2

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Bar

חבר מתאריך 24.3.02
24027 הודעות, 7 פידבק, 14 נקודות

00:09 21.11.15

8. אין לי מושג מה רשמת פה אבל סבבה
בתגובה להודעה מספר 7

שמח שהבנת
אני למדתי את זה תחת קורס למערכות ספרתיות, ששם מדברים על שערים לוגיים.
זה פשוט אלגברה בוליאנית.

נשלח ע"י הסלולרי

He who makes a beast out of himself,
gets rid of the pain of being a man.

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

The Boss

חבר מתאריך 14.9.08
6889 הודעות, 2 פידבק, 4 נקודות

18:54 19.11.15

4. קבל מה מצאתי - דקה 18:47
בתגובה להודעה מספר 0

לחץ כאן לצפיה דרך יוטיוב

קופון הנחה של 5% ל iHerb
https://goo.gl/Q6Tr1S
הרבה יותר טוב מ Vitacost

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד

Crazy Lion

חבר מתאריך 1.7.02
19328 הודעות, 9 פידבק, 16 נקודות

17:54 20.11.15

5. המון תודה:)
בתגובה להודעה מספר 0

מילוי סקרים בתשלום למי שמעונין ,
משלם בזמן וקל להגיע ליעד :
https://goo.gl/EJh6V2

(ניהול: מחק תגובה)

מכתב זה והנלווה אליו, על אחריות ועל דעת הכותב בלבד