离散数学问题：求解！

A是重言式，那么可以直接看成真值T 则图中公式的类型，也是重言式，永真