Как определить виды формул логики высказываний