Animated Logic: Correct Functional Conversion to Conjunctive Normal Form.

Pedro Barroso Mário Pereira António Ravara

Published in: CoRR (2020)

Keyphrases

conjunctive normal form
truth values
satisfiability problem
polynomial size
propositional satisfiability
boolean formula
automated reasoning
orders of magnitude
learning algorithm
logic programming
temporal logic
modal logic
cnf formula