Two very useful applications for drawing logic diagrams:
1) For Euler Diagrams made by Joachim Schwarte
https://github.com/JoachimSchwarte/PosiBasEuDi
2) For Leibnizian line diagrams made by Roland Kappus
https://www.philosophieundinformatik.de/FigurenGI.html