שינויים
קפיצה אל:
ניווט
,
חיפוש
שיחה:83-116 תשעד סמסטר א
נוספו 62 בתים
,
19:06, 1 בפברואר 2014
/* CNF */
אני פשוט עשיתי דה מורגן אחד וזה הופך לצורת CNF, אבל בתשובות יצא ביטוי ארוך
'''הכוונה <math>p\and\urcorner(q\and r)</math>? עדי
== הכלה והדחה ==
Adiniv
מפעיל מערכת
2,077
עריכות
תפריט הניווט
כלים אישיים
כניסה לחשבון
דף השיחה עבור כתובת IP זו
18.219.92.43
גרסאות שפה
מרחבי שם
דף מיוחד
חיפוש
עוד
צפיות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
חומר לימוד
התקנת LyX
סילבוסים
כלים
דפים מיוחדים
גרסת הדפסה