This transformation is based on rules about logical equivalences: double negation elimination, De Morgan's laws, and the distributive law.
Ова трансформација користи правила логичке еквиваленције: елиминацију двоструке негације, Де Морганове законе, и закон дистрибутивности.