بحث: معادله‌منطقه