09:47 duration 9 minutes 47 seconds
12.c
The third video of the Inf2d lecture on Inference in First-Order Logic.
04:36 duration 4 minutes 36 seconds
CL - 6g - CNF II
This 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.