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