问答题 用整数加法的add算法，一步一步的把（10111）2和（11010）2相加。

问答题 给出一个非闭式的可满足式，但不是永真式。

问答题 给出一个非闭式的永假式。