Решение некоторых задач математической логики с помощью диаграмм Веннастатья