De mest brukte grunnformlene

Anta at det ikke er noen markerte miner rundt det nummeret som skal fastsettes (i tilfelle av miner, se "subtraksjonsprinsippet" senere).

(Irrelevante tall er skjult fra bildet. Blå prikker representerer tomme områder og røde prikker representerer lyn.)

Enhetlig fast form

"En ende" refererer til at en side av et tall (tre loddrette rutenett) er tom eller kantet.

1. To på en ende, to lyn;

(Høyre kant av 2 i figuren)

(Slutning) Ligning 22: Hvis 22 er på en ende, er den tredje ruten ikke lyn. (Bildet er midlertidig utelatt)


2. Formel 11: Hvis 11 er på en ende, har de tre rutene på den andre siden ingen miner;

(11 i figuren, venstre kant)

(Venstre sida av 11 i figuren er tydeligvis tom)

(Slutning) Formel 111: Hvis det er tre 1 eller 2-er, er det midterste lyn, de to andre er ikke lyn. (Bildet er midlertidig utelatt)

Tilfeldig posisjonsformel

3. Uansett posisjon, er det ingen lyn på ytre sida av 1 og ett lyn på ytre sida av 2;



4. 3 i midten, tre miner;



5. 121 Uansett sted, to 1 har lyn og 2 har ikke lyn;



6. 1221 på noen som helst sted: To 2 med lyn, 1 uten lyn



De ovennevnte formlene har samme retning både horisontalt og vertikalt.

Subtraksjonsprinsippet:

Hvis det allerede er markert miner rundt nummeret, trekk først antall miner rundt nummeret, mens disse minene holdes blanke i hodet, og bruk deretter formelen.

Figur under: Det er faktisk en 11 fast formel, og den grønne prikken kan åpnes



Under: Det er to miner rundt 3 med en rasjonalitet på 3-2=1, og en mine rundt 2 med en rasjonalitet på 2-1=1. Derfor forenkles det til 11-modus, og de to rutene for å trekke punkt kan åpnes direkte.



Under: Etter subtraksjon er det 12 faste formler, med røde prikker som indikerer lyn.



Under: Ifølge nummeret 3 plassert øverst i figuren, hvis det bare er en mine i de to ukjente rutene som er omsluttet av ellipsen, blir nummeret 3 nedenfor 2 ved hjelp av 12-formelen. Den blå prikken er ikke en mine, og den røde prikken er en mine.