Projekt programu realizującego równania boolowskie.