本蒟蒻赛时赛后一直没有明白题意：

当一个变量被赋为True，那么如果它再被赋为false时，该变量是直接被覆盖还是被判为Unknown？

求犇解