40 Alternatives to openlogicproject.org

Explore a diverse selection of alternative sites and similar platforms to openlogicproject.org. Discover comparable services and features, and expand your online options. Upgrade your browsing experience with our comprehensive collection of alternatives.

Click here for a full domain report on openlogicproject.org.

umsu.de

Wolfgang Schwarz :: Home

proof-checker.org

Proof Checker

mrieppel.github.io

somerby.net

logictools.org

liglab.fr

erpelstolz.at

Erpelstolz Canned Worms: Worm canning as a passion and a profession. And some logic software, e.g. a truth-table calculator

logic.at

Group in Applications of Formal Logic.

flyinglogic.com

Flying Logic is a revolutionary tool for proactive thinkers, whether you want to change your personal life for the better, or grow a world-class business that impacts thousands or millions of people. Flying Logic is a highly visual, easy to use software application that does for reasoning what spreadsheets do for numbers. Just as you would not do detailed financial projections in your head, you need Flying Logic for all nontrivial planning and reasoning endeavors. ...

openlogicsys.com

logicmatters.net

gablem.com

richardzach.org

creativeandcritical.net

leanprover.github.io

loighic.net

Gregory Johnson

rkirsling.github.io

fecundity.com

trutabgen.com

Simple to use Truth Table Generator for any given logical formula. The step by step breakdown of every intermediate proposition sets this generator apart from others.

edwardjrelliott.com

votsis.org

Philosopher of Science at the University of Duesseldorf. Bibliography and downloadable papers.

consequently.org

An annotated bookmarks page, a scratchpad for thoughts and ideas, a place to post photos and somewhere to experiment with web design. To keep in touch with friends far away.

formalmind.com

truthtablemaker.com

gradegrinder.net

Openproof Courseware-Home

mrieppel.net

turingmachine.io

Visualize and simulate Turing machines as animated state diagrams. Create and share your own machines using a simple format. Examples and exercises are included.

aiml.net

jasonlhy.github.io

tedsider.org

Ted Sider

syn-sem.appspot.com

logicproblems.org

An interactive web application for solving Propositional Logic problems and proofs

logictown.org

formallogic.com

dojo.net.nz

m-phi.blogspot.com

proofmood.com

32x8.com

Online Karnaugh Map solver that makes a kmap, shows you how to group the terms, shows the simplified Boolean equation, and draws the circuit for up to 6 variables. A Quine-McCluskey option is also available for up to 6 variables.

klindeman.com

opensuny.org