Математична логіка

Лекція 3.1 Логіка висловлень. Властивості числення висловлень.

Лекція 3.2 Закони логіки. Таблиці істинності. Тавтології.

📝 Практична робота 3.1 Закони логіки. Таблиці істинності. Тавтології.

Лекція 3.3 Спрощення логічних формул з використанням логічних законів.

📝 Практична робота 3.2 Спрощення логічних формул

Лекція 3.4 Диз’юнктивна нормальна форма та кон’юнктивна нормальна

форма. Критерії істинності.

📝 Практична робота 3.3 Нормальні форми алгебри висловлень

Лекція 3.5 Релейно-контактні схеми.

📝 Практична робота 3.4 Релейно контактні схеми

📝 Практична робота 3.5 Розв’язування логічних задач методами алгебри логіки