De mest använda grundformlerna
Anta att det inte finns några markerade minor runt det nummer som ska bestämmas (i fallet med minor, se "subtraktionsregeln" senare).
(Irrelevanta nummer är dolda från bilden. Blå prickar representerar tomma utrymmen och röda prickar representerar åska.)
Enhuvud fix form
"En änd" hänvisar till att en sida av ett nummer (tre vertikala rutor) är tom eller gränsad.
1. Två på en änd, två åska;

(Höger gräns av 2 i figuren)
(Slutledning) Ekvation 22: Om 22 är på en änd, är den tredje rutan inte åska. (Bild är tillfälligt utelämnad)
2. Formel 11: Om 11 är på en änd, då har de tre rutorna på den andra sidan inga minor;

(11 i figuren, vänster gräns)

(Vänster sida av 11 i figuren är tydligt tom)
(Slutledning) Formel 111: Om det finns tre 1 eller 2 huvuden, är den mittersta åska, och de andra två är inte åska. (Bild är tillfälligt utelämnad)
Godtycklig positionsformel
3. Vid någon position, finns det ingen åska på den yttre sidan av 1 och en åska på den yttre sidan av 2;
4. 3 i mitten, tre minor;
5. 121 Vid någon plats, två 1 har blixt och 2 har ingen blixt;
6. 1221 på någon position: Två 2 med blixt, 1 utan blixt
De ovanstående formlerna har samma riktning både horisontellt och vertikalt.
Subtraktionsregel:
Om minor redan är markerade runt numret, subtrahera först antalet minor runt numret, medan dessa minor hålls tomma i ditt sinne, och applicera sedan formeln.
Figur nedan: Det är faktiskt en fix formel för 11, och den gröna punkten kan öppnas
Nedan: Det finns två minor runt 3 med en förhållande av 3-2=1, och en minor runt 2 med en förhållande av 2-1=1. Därför förenklas det till 11-läge, och de två rutorna för att rita punkter kan öppnas direkt.
Nedan: Efter subtraktion, det finns 12 fasta formler, med röda prickar som indikerar åska.
Nedan: Enligt numret 3 placerat på toppen av figuren, om det bara är en minor i de två okända rutorna inramade av ellipsen, då blir numret 3 nedan 2, med hjälp av formeln 12. Den blå pricken är inte en minor, och den röda pricken är en minor.