مکانیابی به کمک منطق بولین