Можно объяснить мне, зачем эти вычисления вообще нужны (все сводиться к "Булева формула (по имени Джорджа Буля) — формула логики высказываний. Может содержать логические переменные и пропозициональные связки — конъюнкцию (""), дизъюнкцию (""), отрицание ("") и другие.") Или просто нет других интересных проектов?