logický uzávěr

• последовательный вывод