Высказывания. Логические операции над высказываниями.