For schools teaching in English
Grade 8 Computer Science: Boolean algebra, logical operations and the truth table.
Grade 8 Computer Science: the laws of logic (identity, commutative, associative, distributive, De Morgan) and solving logic problems by formalization.