1、1，1.2命題公式和賦值，命題變量項(xiàng)和求和公式公式的賦值真值表命題的分類中言式矛盾式滿足，2，命題變量項(xiàng)和求和公式，命題常數(shù)：由真值確定的簡(jiǎn)單命題。命題變量：真值不確定的陳述。命題變量項(xiàng)不是命題！聯(lián)合公式：將命題常數(shù)和命題變項(xiàng)與連接詞和括號(hào)綁定在一起的符號(hào)字符串。注意：3定義聯(lián)合公式(命題公式，公式)如下：(1)如果單個(gè)命題常數(shù)或變量p，q，r，(2) a是求和公式，(a)也是求和公式。(3)如果A，B是聯(lián)式公式，則(AB)，(AB)，(AB)，(AB)也是聯(lián)式公式。(4)有限，只有(1)(3)形成的符號(hào)字符串是并集公式。說明：可以省略最外面的括號(hào)。4，聯(lián)式公式的階層，定義(1) A為單一命題

2、變數(shù)或常數(shù)時(shí)，A稱為零層公式。(2) A被稱為n 1(n0)層公式，是以下之一：(A) A (b) A=BC。其中B，C分別是I層和j層公式，n=max (I，j)；(c) A=BC，其中B，C的級(jí)別和n相同(B)；(d) A=BC，其中B，C的級(jí)別和n相同(B)；(e) A=BC，其中B，C的級(jí)別和n為(B)。等于，5。另一個(gè)示例使公式成為實(shí)際分配(p q) r)s (p q r )s(p q r) s (p1，p2，pn公式的級(jí)別)(實(shí)際分配：使公式成為實(shí)際分配)。假分配：使公式變?yōu)榧佟?，描述：指定=12n之間沒有標(biāo)點(diǎn)符號(hào)，i=0或1。a中僅顯示p1、p2、pn。分配給a 12n查找P1=分配，字典順序，2n，8，真值表，真值表構(gòu)建步驟：1)公式中包含的所有命題變量項(xiàng)，列出所有可能的分配。2)寫從低到高的所有級(jí)別。3)與每個(gè)分配匹配，然后計(jì)算公式中每個(gè)層次結(jié)構(gòu)的值，直到最后計(jì)算公式中的值。真值表：列出公式A從所有分配中接收值的情況的表，9，示例1.8求出以下公式中的真值表，0 0，0 1，1，1，1，0，1，0，0:0，0，0，0，0，0，0，0，0，0，0，11，(3) c=(pq) r，0 0 0 0在上例中，A=(qp)qp，B=(pq)q，C=(pq)r A是中言表達(dá)式