Diskrit matematika va matematika mantiq fani bo'yicha mustaqil ish mavzusidagi "Predikatlar algebrasida yechish muammosi" mavzusidagi formulalar va ularning normal forma variantlarini qarash