Lygtis –
matematinio uždavinio, reikalaujancio rasti argumentu (vadinamu nežinomaisiais) reikšmes, su kuriomis du duoti reiškiniai butu lygus, simbolinis užrašas. Lygties bendroji forma yra tokia:
Argumentai, kurie tenkina šia lygybe, vadinami lygties
sprendiniais arba
šaknimis. Lygties sprendiniu radimas yra vadinamas lygties sprendimu. Paprastos lygties pavyzdys galetu buti:
Šia lygti galima persirašyti i
Iš pastarojo užrašo matome, kad lygybe galioja (kaire puse lygi dešinei pusei) tada, kai x = 0 arba x = 1, nes vietoje x isistate 1 arba 0 gauname teisingas lygybes (atitinkamai, ir ). Taigi, lygties sprendiniai yra 0 ir 1.