Яворская Т.Л. - Математическая логика - 2. Дизъюнктивная нормальная форма

0:00:19 1. Знакомство с дизъюнктивными нормальными формами (ДНФ) 0:06:26 2. Определение ДНФ и элементарной конъюнкции 0:07:56 3. Приведение к ДНФ: теорема и примеры 0:26:54 4. Составление формулы по таблице истинности 0:39:37 5. Полные системы связок 0:56:06 6. Штрих Шеффера и стрелка Пирса 1:01:11 7. Подведение итогов Ссылки плейлист: