Лида немецкий рояль
маша испанский гитара
женя француский виолончель
катя английский скрипка
Файл весит 56 кб / с * 30 с = 1680 кб.
В Unicode каждый символ весит 16 бит = 2 б. Т.е. на одной странице информации 3072 * 2 б = 6 кб, т.е. было 1680 / 6 = 230 страниц
Обозначения:
A=x∈A
B=x∈{2;4;...;12}
C=x∈{3;6;...;15}
------------------------------------------
B→((C*¬A)→¬B)=1
¬B+¬(C*¬A)+¬B=1
¬B+¬C+A=1
A+( ¬B+¬C )=1 (тк A+¬A=1, то ¬A=¬B+¬C )
¬A=¬B+¬C
¬¬A=¬(¬B+¬C)
A=B*C ( A - состоит из общих элементов В и С)
А={6;12}
6+12=18
ответ 18