В Википедии уже есть информация на эту тему (статья <url>, абзац «Основные понятия»), где понятие булевой формулы даётся более точно. Как Вы считаете, лучше ли будет поставить перенаправление с Вашей статьи на Логику высказываний или, наоборот, перенести оттуда информацию в Вашу статью?