Implicant

#	Item
11	PDF Document Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 1997-08-17 15:37:52 Models of computation Automata theory Boolean algebra Electronic engineering Logic gates Finite-state machine Algorithm Flip-flop Implicant Digital electronics Theoretical computer science Mathematics
12	PDF Document Add to Reading List Source URL: web.mit.edu Language: English - Date: 2007-04-06 00:49:19 Abstract algebra Linear algebra Formal methods Implicant Vector space Conjunctive normal form Disjunctive normal form Lambda calculus Variable Algebra Mathematics Boolean algebra
13	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-02 16:27:23 Boolean algebra Conjunctive normal form Disjunctive normal form Implicant Decision list IP FO Time complexity Boolean satisfiability problem Theoretical computer science Computational complexity theory Mathematics
14	PDF Document Add to Reading List Source URL: www2.parc.com Language: English - Date: 2003-04-29 20:41:47 Automated theorem proving Boolean algebra Logic in computer science Rules of inference Implicant Horn clause Unit propagation Resolution Logic programming Logic Mathematical logic Mathematics