图3.6.1 　　　 　　一般地有 　　 　　 　　这里, A∨A≠T 　　AA, A→A 也不保证为T了。