Лат. carne vale, «прощай, мясо» либо лат. car val — «корабль шутов»
Обозначения:
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
Почему-то код постоянно плывёт, поэтому я прикрепил решение скрином.