Dijagramiranje argumenta: https://philosophy.lander.edu/logic/diagram.html

Logički kalkulator: https://www.erpelstolz.at/gateway/formular-uk-zentral.html

Tree Proof Calculator: https://www.umsu.de/trees/

Proof Tool: a symbolic logic proof tree generator https://creativeandcritical.net/prooftools

Prirodna dedukcija :

https://stackoverflow.com/questions/16091232/logic-deduction-with-fitch-system

https://proofs.openlogicproject.org/

https://mrieppel.github.io/fitchjs/

Gradnja tablica:

https://www.emathhelp.net/en/calculators/discrete-mathematics/truth-table-calculator/?f=%28P%E2%88%A7Q%29%3D%3ER&v=&full=on

https://calculator-online.net/truth-table-calculator/#How-to-Make-a-Truth-Table

https://web.stanford.edu/class/cs103/tools/truth-table-tool/