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