Tree Of Knowledge — preview

Calculator for 1. ORDER LOGIC formulas ⇒ Th© BEST CORE of AI

Before launching the calculator, please read the quick instructions below.

Download & RUN Download SOURCE code

SHA256 checksum: verify

Instructions for First-Order Logic Calculator

  1. Select any of the READY-MADE EXAMPLE formulas of First-Order Logic and press ENTER.
  2. Try to FOLLOW THE PATTERN you observe in the example formulas. If you make a mistake, the INVALID part of the input will be automatically removed.
  3. Try the “−(formula)” button — it negates the entire formula. Then press ENTER again and observe the changes in the calculator window.
Minimization calculator for propositional logic — preview

Calculator for PROPOSITIONAL LOGIC formulas ⇒ MINIMAL NORMAL FORMS (COMING SOON)

This second calculator is dedicated to propositional logic: semantic table, prime implicants and minimal normal forms. Web launcher will be available soon – buttons are disabled for now.