前束范式

2. 求下面公式的前束范式: \begin{equation*} \forall x F(x) \vee \neg \exists x G(x) \end{equation*} Hint 1 应用量词否定的等值式\(\forall x F(x) \vee \forall x \neg G(x)\)

Read More

Copyright © 2088 霓蓝星游戏活动站_二次元游戏资讯_专属礼包 All Rights Reserved.
友情链接