De mest brukte grunnformlene
La oss anta at det ikkje er noko markerte miner rundt talet som skal avgjordes (i tilfelle av miner, sjekk "reduksjonsprinsippet" seinare).
(Urelaterte tal er skjult i biletet. Blå prikker viser tomme plassar og røde prikker viser lyn.)
Enkelt endelig form
"Ein enden" sygnifiserer at ei side av eit tal (tre loddrette rutenett) er tom eller kantet.
1. To på ein enden, to lyn;

(Høgre kant av 2 i figuren)
(Slutning) Ligning 22: Om 22 er på ein enden, er den tredje ruten ikkje lyn. (Bildet er midlertidig utelatt)
2. Formel 11: Om 11 er på ein enden, har då dei tre rutena på den andre sida ingen miner;

(11 i figuren, venstre kant)

(Venstre sida av 11 i figuren er tydeleg tom)
(Slutning) Formel 111: Om det er tre 1 eller 2-ar, er det midterste lyn, og de to andre ikkje lyn. (Bildet er midlertidig utelatt)
Tilfeldig posisjonsformel
3. Uansett posisjon, er det ikkje lyn på ytre sida av 1 og eitt lyn på ytre sida av 2;
4. 3 i midten, tre miner;
5. 121 Uansett plassering, to 1 har lyn og 2 har ikkje lyn;
6. 1221 på uansett posisjon: To 2 med lyn, 1 utan lyn
Dei ovanstående formlene er like i både horisontal og vertikal retning.
Reduksjonsprinsippet:
Om miner allerede er markert rundt talet, trekk først antall miner rundt talet, mens du held dei utelatta i tankene dine, og bruk deretter formelen.
Figur nedanfor: Det er faktisk eit 11 fast formel, og den grønne prikken kan opnast
Nedanfor: Det er to miner rundt 3 med eit forhold av 3-2=1, og ein mine rundt 2 med eit forhold av 2-1=1. Så det forenklas til 11-modus, og dei to rutene for å trekke punkt kan opnast direkte.
Nedanfor: Etter reduksjon, er det 12 faste formler, med røde prikker som viser lyn.
Nedanfor: Ifølge talet 3 plassert øverst i figuren, viss det berre er ein mine i de to ukjende rutene omslutta av ellipsen, blir talet 3 nedanfor 2, ved å bruke 12-formelen. Den blå prikken er ikkje en mine, og den røde prikken er en mine.