سلام دوستان کسی مطلبی در مورد عامل های منطقی یا منطق مرتبه اول یا استنتاج در مرتبه اول مربوط به ساختمان گسسته داره؟