1. Охарактеризуйте типы задач по математической логике

1. Охарактеризуйте типы задач по математической логике, включаемые в олимпиады по математике. Приведите примеры таких задач (с указанием олимпиады), решите не менее 3 задач.
2. Проанализируйте кодификатор и спецификацию ЕГЭ по информатике: выделите необходимые знания и умения учащихся по математической логике, приведите типы заданий ЕГЭ по информатике (с решением) по данной теме.
Обязательно указать название Олимпиад