题库新增数电题，是否有模型能战

[yeahhe (Mozi)]

@yeahhe

1 布尔代数 将与或式 \( ABC + \overline{A} \cdot \overline{B} \cdot \overline{C} \) 转换为与非 - 与非式 \overline{\overline{ABC} \cdot \overline{\overline{A} \cdot \overline{B} \cdot \overline{C}}}

将与或式 \( ABC + \overline{A} \cdot \overline{B} \cdot \overline{C} \) 转换为与非 - 与非式	

答案
\overline{\overline{ABC} \cdot \overline{\overline{A} \cdot \overline{B} \cdot \overline{C}}}

[lueluelue]

GPT：打开linux.do搜搜

[yeahhe (Mozi)]

openai的模型做我的题库，还出现了o3 mini能做，o4 mini做错的情况

[yeahhe (Mozi)]

linuxdo的latex渲染有点问题，线条的长度差得有点多

[yeahhe (Mozi)]

豆包有概率作对

[iberxilong]

基于搜索的解题思路

[wqrdwe (独)]

2.5Pro做对了

[BulletSilver_TheThir (第三枚银色子弹)]

这个题应该不算难。感觉更像是数学题。我用0325做模电题。这种我觉得很复杂的电路，他都能分析对

[stevessr]

逻辑代数……

[xy3]

最近我用gemini做编译原理题目 难度主要在识图上面 他容易看错东西 推理没什么问题

[BulletSilver_TheThir (第三枚银色子弹)]

在识图上，感觉0325比0506要好

[BlueSkyXN]

将与或式 ( ABC + \overline{A} \cdot \overline{B} \cdot \overline{C} ) 转换为与非 - 与非式

[ATRI]

思考13分钟的o3p…（完全看不懂

[Lixinyuan (CitrusMist)]

Deepseek r1 0528