Формулы логики высказываний: виды и примеры