Weak Mitoticity of Bounded Disjunctive and Conjunctive Truth-Table Autoreducible Sets.

Liyu Zhang Mahmoud Quweider Hansheng Lei Fitra Khan

Published in: COCOON (2018)

Keyphrases

truth table
boolean functions
defeasible logic
dnf formulas
artificial intelligence
disjunctive normal form
term dnf