离散的基本知识（有点杂，后续在更新整理）

合取 ⋀：并且/与

        P ⋀Q 同真才真，有假必假

析取 ⋁：或

        P ⋁Q 同假才假，有真必真

蕴含 ⟶  ：若P，则Q

                因为...所以...

                如果...那么...

        P ⟶  Q 前真后假才假

⋀在 ⋁上的分配律：

        P  ⋀（Q ⋁R） ⇔ P ⋀Q  ⋁P ⋀R

⋁在 ⋀上的分配律：

        P  ⋁（Q ⋀R） ⇔（P ⋁Q）⋀（P ⋁R）

德摩根定律：

        ¬（P ⋁Q）⇔ ¬P ⋀¬Q

        ¬（P ⋀Q）⇔ ¬P ⋁¬Q

蕴含表达式：

        P ⟶  Q ⇔ ¬P ⋁Q

归谬律：

        （（P ⟶  Q）⋀（P⟶ ¬Q））⇔¬P

例1：

A     B	A ⋀B	A ⋀B⟶ B	¬（A ⋀B⟶ B）
0     0	0	1	0
0     1	0	1	0
1     0	0	1	0
1     1	1	1	0

若真值表都为0，是永假式，也是矛盾式。

若真值表都为1，是永真式，也是重言式。

若真值表有1有0，是偶然式，也是可满足式。

自反：                                对称：                        传递：

{(a,a)}                        {(a,b),(b,a)}                               {(a,b),(b,c),(a,c)

                                                                

偏序：

集合A上二元关系R是自反，反对称，和传递的

拟序：

集合A上二元关系R是传递的和反自反的

线序：

在偏序集合<A，≤ >中，若每一a,bϵA，或者a≤b，或者b≤a，则≤叫做A上的线序（全序），此时的序偶<A，≤ >叫做线序集合或链。

哈斯图：

 解：          ρ (A) ={ ∅,{ ∅}} 

                ρ (ρ (A)) ={∅,{∅},{{∅}},{∅,{∅}}}

                ρ (A) ×B={ (∅,a),(∅,{b}),({∅},a),({∅},{b}) }

解：

P	Q	¬P	¬Q	¬P ⋁¬Q	P↔¬Q	(¬P ⋁¬Q)⟶ (P↔¬Q)
0	0	1	1	1	0	0
0	1	1	0	1	1	1
1	0	0	1	1	1	1
1	1	0	0	0	0	1

偶然式，可满足式

主析取范式：

                        

主合取范式：

        ​​​​​​​                 

解：

P ↑ P ⇒ ¬ ( P ⋀P )

Q↑ Q⇒ ¬ ( Q ⋀Q)

¬ (¬ P ⋀¬ Q)⇒ P ⋁Q

所以原式得证

群的定义和性质

群<G，*>是一代数系统，其中二元运算*满足以下3条：

注意：需要封闭 即两个元素经过运算还是属于这个系统

        对所有的a,b,c ϵ G

                a *(b*c)=(a*b)*c   （交换律）

        存在一个元素e，对任意元素a ϵ G，有

                a *e=e*a=a （单位元）

        对每一a ϵ G,存在一个元素，使                   

                            *a=a*

E-图(Euler):欧拉图

        欧拉图是经过每条边有且仅有一次的回路

欧拉路径：

        欧拉路径是经过每条边有且仅有一次的路径

H-图(Hamilton)：哈密顿图

       哈密顿图是经过每个点有且仅有一次的回路

哈密顿路径：

       哈密顿路径是经过每个点有且仅有一次的路径