Reasoning & Logic - CNF (new version)
Channel: Stefan Hugtenburg
Date: 2022-08-17

On the topic of the conjuctive normal form

Pencast for the course Reasoning & Logic offered at Delft University of Technology.

Accompanies the open textbook: Delftse Foundations of Computation.