http://i.imm.io/Wb4A.png בחוברת מבחנים של אס"ט מופיע פיתרון (לא רשמי, אני יודע) שמגדיר ע"י הפסוקים: http://www.codecogs.com/gif.latex?%5CSigma=%5C%7B%5Clnot(%5Calpha_%7Bi%7D%5Cwedge%5Calpha_%7Bj%7D%5Cwedge%5Calpha_%7Bk%7D)%5C%20%7C%5C%20i%5Cneq%20j%5Cneq%20k%5Cin%5Cmathbb%7BN%7D%5C%7D ואחריו הסבר למה זה מגדיר אותו. לדעתי הפיתרון לא נכון, זה מגדיר השמות שאין בהן 3 אחדים ללא קשר לפזמון. הגדרה נכונה היא: http://www.codecogs.com/gif.latex?%5CSigma=%5C%7B%5Clnot(%5Calpha_%7Bi%7D%5Cwedge%5Clnot%5Calpha_%7Bi+1%7D%5Cwedge%5Clnot%5Calpha_%7Bi+2%7D%5Cwedge%5Calpha_%7Bi+3%7D)%5Cwedge(%5Calpha_%7Bj%7D%5Cwedge%5Clnot%5Calpha_%7Bj+1%7D%5Cwedge%5Clnot%5Calpha_%7Bj+2%7D%5Cwedge%5Calpha_%7Bj+3%7D)%5Cwedge(%5Calpha_%7Bk%7D%5Cwedge%5Clnot%5Calpha_%7Bk+1%7D%5Cwedge%5Clnot%5Calpha_%7Bk+2%7D%5Cwedge%5Calpha_%7Bk+3%7D))%5C%20%7C%5C%20i%5Cneq%20j%5Cneq%20k%5Cneq%20i%5Cin%5Cmathbb%7BN%7D%5C%7D האם אני צודק?