Quyidagi predikatlar mantig`i formulalarini normal formaga keltiring
Download 8.76 Kb.
|
Diskret matematika va matematik mantiq 2 modul topshirig\'i Aliyeva
|
2-Modul topshiriqlari Quyidagi predikatlar mantig`i formulalarini normal formaga keltiring. Variant :3 3. (βπ₯(π₯) β βπ₯π(π₯) β βπ₯π(π₯)) β¨ βπ₯π(π₯) (βπ₯π(π₯) β βπ₯π(π₯) β βπ₯π(π₯)) β¨ βπ₯π(π₯)= ((βπ₯P(π₯) V βπ₯π(π₯)) ββπ₯π(π₯)) β¨ βπ₯π(π₯)= β π₯P(π₯) V βπ₯π(π₯) V βπ₯π(π₯) β¨ βπ₯π(π₯)= βπ₯P(π₯) β§ βπ₯π(π₯) V βπ₯π(π₯) β¨ βπ₯π(π₯)= β π₯P(π₯) β§ βπ₯π(π₯) V βπ₯π(π₯) β¨ βπ₯π(π₯)= βx(π(π₯) β§ π(π₯)) V βπ₯π(π₯) β¨ βπ₯π(π₯)= βπ₯Q(π₯) β¨ βπ₯π(π₯)= βπ₯π(π₯) β¨ βyQ(y)= βπ₯βy(π(π₯) β¨ Q(y)) Javob: βπ₯βy(π(π₯) β¨ Q(y)) Download 8.76 Kb. Do'stlaringiz bilan baham: 
|