Animated Logic: Correct Functional Conversion to Conjunctive Normal Form.

Pedro Barroso Mário Pereira António Ravara

Published in: PAAR+SC²@IJCAR (2020)

Keyphrases

conjunctive normal form
truth values
polynomial size
satisfiability problem
boolean formula
modal logic
logic programming
propositional satisfiability
propositional formulas
inference rules
automated reasoning
fixpoint
computational properties