Search for tag: "conjuncts"
12.cThe third video of the Inf2d lecture on Inference in First-Order Logic.
From Claudia-Elena Chirita
0 likes
183 plays
0
|
|
CL - 6g - CNF IIThis video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a conjunctive normal form (CNF) — a conjunction of disjunctions of literals.
From Haoran Peng
0 likes
394 plays
0
|