问答题 求以下公式的主析取范式，并求成真赋值： （￢p→q）→（￢q∨p）

问答题 给定无向图G=〈V，E〉，且对任意结点ν∈V，有d（ν）≥2.试证G至少有一基本圈。

问答题 在一个核反应堆里有两类粒子：α粒子和β粒子，每经过1个单位时间，一个α粒子分裂为3个β粒子，一个β粒子分裂为1个α粒子和2个β粒子。假设在时间0反应堆里只有1个α粒子，那么在时间100反应堆里总共有多少个粒子？