设ab都是含命题变量p1p2到pn的公式
http://zhidao.baidu.com/question/1698150731358917268.html?fr=iks&word=%D4%DApython%D6%D0%C8%CE%D2%E2%B4%B4%BD%A8%D2%BB%B8%F6%D6%C1%C9%D9%BA%AC%D3%D05%B8%F6%C3%FC%CC%E2%B1%E4%C1%BF%B5%C4%C3%FC%CC%E2%B9%AB%CA%BD&ie=gbk ——百度知道
-
答:括号内的这段话是这样的意思:设 A = A(p1, p2, …, pn), 则 B = A(A1, A2, …, An), 这样,若 A 是重言式,则B也是重言式.