简答题 某人欲购买电视、冰箱和洗衣机等家用电器，由于经费有限，经考虑后决定：
（1）如果买电视而不买冰箱，那么就一定会买洗衣机。
（2）如果买冰箱的话，那么一定会买洗衣机。
（3）至少会买三种电器中的一种。
求证：一定会买洗衣机。设用B（x）表示会买x这种电器，tv、ref、wash分别表示电视、冰箱和洗衣机，将已知条件与目标用谓词公式正确地表示出来，并用消解反演进行证明，画出消解反演树。

【参考答案】

首先，我们将已知条件和目标用谓词公式表示出来：条件1：若买电视而不买冰箱，则一定会买洗衣机。\[ \neg B(ref)......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)