имеется такое мнение/решение:
1. Пусть картина
а - тяжелая
б - большая
в -веселая
2. Получим для трех случаев:
1) (а*(не(в)) - т.е. картина тяжелая и невеселая
2) (не(б+а)) - т.е. неверно что картина большая или тяжелая
3) (не(в)+а*б) - картина невеселая или тяжелая и большая
здесь
не - отрицание
* - логическое умножение (конъюнкция)
+ - логическое сложение (дизъюнкция)
3. Итак, зная что все три высказывания неверны (причем одновременно), получим след. выражение
( не(а*( не(в) ) ) *( не ( не(б+а) ) ) *( не( не(в)+а*б) ) ) = /упростим/=
= ( не(а) + в) * (б+а) * ( в*не(а*б) ) = ( не(а) + в) * (б+а) * ( в* ( не(а) +
не(б) ) ) = ( не(а) + в) * ( не(а) + не(б) ) * (б+а) * в =
= в * ( не(а) + в*не(б) ) * (б+а)
4. Ну вот. Проанализируем выражение в * ( не(а) + в*не(б) ) * (б+а)
1ый множитель) веселая
2ой) невеселая или веселая и небольшая
3ий) большая или тяжелая
Думаем логически 
... получаем, картина
веселая, небольшая, тяжелая
Вот такая вот шляпа 
P.S. Если НЕ заменить черточкой сверху (что сделать на компе сложно), то будет более наглядно :)
