问答题 用整数乘法的mul算法，一步一步的把（1110）2和（1010）2相乘。

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

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