Agar ushbu muammo mulohazalar algebrasi uchun oson yechilgan bo'lsa, predikatlar mantiqi uchun bu muammoni yechish jarayonida katta qiyinchiliklar borligi aniqlandi
Rasmda raqamlar kiriting: