منطق ماشین معدن