The top documents tagged [conjunctive normal form]
Satisfiability
490 views
Why machines can't think (logically)
358 views
Epistemologia computacional: intrudução
218 views
20111121 mo-logic
114 views
Normal Forms (Logic)
299 views
Logic Symbols 5
445 views