Search for tag: "conjuncts"

12.c

The third video of the Inf2d lecture on Inference in First-Order Logic.

+25 More
From  Claudia-Elena Chirita 0 likes 183 plays 0  

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.

+24 More
From  Haoran Peng 0 likes 394 plays 0