Конъюнктивная нормальная форма

Конъюнктивная нормальная форма, или КНФ, — это один из стандартных методов пропозициональной логики. В этом видео я покажу вам, что это такое, что мы можем с ней делать и как преобразовать предложение в эквивалентную КНФ. Вы можете поддержать канал и помочь ему развиваться, сделав пожертвование на моей странице Ko-fi: https://ko-fi.com/atticphilosophy [Главы] Если есть тема, которую вы хотели бы увидеть освещенной, оставьте комментарий ниже. http://markjago.net Моя книга «Что такое истина»: http://bit.ly/JagoTruth Большинство моих публикаций доступны бесплатно здесь: https://philpapers.org/s/Mark%20Jago #логика