P:我去看望老张
Q:我去看望老李
B:我要带些书
C:我要去新华书店
问题符号化为：
非（P∧Q）(可以两个人都不去看 但不能同时看两个人)
P->B
B->C
非C->P
==>非C->Q
1 B->CP规则
2P->B P规则
3P->C T规则 1,2
4 非C->非PT规则 3
5 非（P∧Q） P规则
6非P->QT规则 5
7非C->Q T规则4 6