Conjunctive Normal Form
Conjunctive normal form, or CNF, is one of these standard techniques in propositional logic. In this video. I'm going to show you what it is, what we can do with it, and how to transform a sentence into an equivalent CNF. You can support the channel and help it grow by contributing on my Ko-fi page: https://ko-fi.com/atticphilosophy [Chapters] If there’s a topic you’d like to see covered, leave me a comment below. http://markjago.net My book What Truth Is: http://bit.ly/JagoTruth Most of my publications are available freely here: https://philpapers.org/s/Mark%20Jago #logic

▶︎
Higher Order Logic

▶︎
Resolution Proofs in Logic

▶︎
Normal Forms | Symbolic Logic Tutorial | Attic Philosophy

▶︎
Truthmaker Semantics

▶︎
The Tensor Confusion: Why Nobody Agrees What a Tensor Is

▶︎
Type Theory in Computer Science, Linguistics, Logic

▶︎
Possible worlds semantics

▶︎
Psychology of People With Extremely High IQ

▶︎
The meme hiding surprisingly advanced math

▶︎
The most beautiful formula not enough people understand

▶︎
Meaning in Logic

▶︎
Professor Jiang: World War 3 Is About To Begin, Let Me Explain!

▶︎
Introduction to Type Theory

▶︎
Automated Theorem Proving | How Computers Do Logic

▶︎
This 1 Book Has Produced More Geniuses Than Any University in History

▶︎
The Strangest Things that Correlate with IQ

▶︎
From Old English to Modern American English in One Monologue

▶︎
The Strange Math That Predicts (Almost) Anything

▶︎
The Truth About Depression - Dr Joanna Moncrieff

▶︎
