שינויים

88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 0

הוסר בית אחד, 15:03, 19 באוקטובר 2014
/* CNF */
בצורה סכמטית <math>C_1 \land C_2 \land \dots \land C_n</math> כאשר כל <math>C_i</math> מהצורה
<math>q_1\lor q_2 \lor \dots \lor q_m</math> וכל <math>q_i</math> שווה למשתנה <math>x</math>
או לשלילותו <math>\lnot x</math>
אחיה בר-און
2,232
עריכות