分ABC三组，每组4个，A1，A2，A3，A4，B1，B2，B3，B4，C1，C2，C3，C4。确认为真的设为T。
第一次称AB两组，只能有两种情况AB相等，AB不等。
若AB相等，则AB全部为真的T，假的必在C组。
然后
第二次称，取三个T和C1，C2，C3称。这时可能有三种情况
一，相等。则C4是必假的，然后
第三次称T和C4，T＞C4，则C4是假的轻的；T＜C4，则C4是假的重的。
二，3T＞C1，C2，C3。则假的必在C1，C2，C3中，并且是轻的，然后
第三次称C1和C2，有三种情况。
1.C1＝C2，则C3是假的轻的；2.C1＜C2，则C1是假的轻的；3.C1＞C2，则C2是假的轻的。
三，3T＜C1，C2，C3。则假的必在C1，C2，C3中，并且是重的，然后
第三次称C1和C2，有三种情况。
1.C1＝C2，则C3是假的重的；2.C1＜C2，则C2是假的重的；3.C1＞C2，则C1是假的重的。
以上是AB相等下，三次称量就能求解的情况，以下是AB不等的情况下求解的过程，可能有点复杂抽象，请细看。
若AB不相等，则C全部为真的T，设重的一组为A，轻的为B(A＞B和B＞A的解法完全一样，我就懒得再写一次，这样方便描述而已，理解的自然懂)。
然后
第二次称，使用移形换影大法把A1，A2，A3放一边，称B1，B2，B3，
A4和3T，
B4。这时候情况就复杂多变了，共有三种可能
一，相等。则假的必定在A1，A2，A3中，并且是重的，然后
第三次称A1和A2，有三种情况。
1.A1＝A2，则A3是假的重的；2.A1＞A2，则A1是假的重的；3.A1＜A2，则A2是假的重的。
二，B1，B2，B3，A4＞3T，B4。则假的必定在A4和B4之间，轻重未知，然后
第三次称T和A4，有两种 情况。（有一种情况是不可能发生的）
1.T＝A4，则B4是假的轻的；T＜A4，则A4是假的重的；而T＞A4，这是不可能的，因为3T,A4＞4T。
三，B1，B2，B3，A4＜3T，B4。则假的必定在B1，B2，B3中，并且是轻的，然后
第三次称B1和B2，有三 种情况。
1.B1＝B2则B3是假的轻的；2.B1＞B2则B2是假的轻的；3.B1＜B2则B1是假的轻的。
以上是我想了好几天的解法，自认没逻辑错误，希望有大神能简化描述或提供更优解。