پرسمان انجام‌پذیری بولی