Алгебра логики: составные высказывания и их анализ