Открытый урок для 9 класса из раздела "Математическая логика". Фактически, первый урок в этой теме, где вводятся ключевые понятия, определяются логические операции.
УМК Босова
https://www.youtube.com/watch?v=8kJjnuoy-ao