Для школ с русским языком обучения
8 класс Информатика: алгебра логики, логические операции и таблица истинности.
8 класс, Информатика: законы логики (тождества, переместительный, сочетательный, распределительный, де Моргана) и решение логических задач методом формализации.