Conjunctive Normal Form CNF and SAT with Examples

preview_player
Показать описание
I explain conjunctive normal form (CNF) and satisfiability and how they connect to propositional logic with examples.

Рекомендации по теме