As a developer I want to understand boolean logic so that I have a foundation of understanding for working with sat solvers.

Summary / Background

An understanding of unit propagation, CNF and other boolean logic concepts is fundamental to understanding how sat solvers and dependency resolution works.

Acceptance Criteria

• Guide that introduces unit propagation, CNF and other boolean logic concepts to the reader with worked out examples

Definition of Done

• Guide created and linked to relevant Deppy documentation and to the wiki