總體而言代數法則和集合法則是非常相似的
這裡我歸納了常用的代數法則:
交換性:a∪b=b∪a和a∩b=b∩a;
結合性:
a∪(b∪c)=(a∪b)∪c ;
a∩(b∩c)=(a∩b)∩c;
冪等性:a∪a=a和a∩a=a;
分配性:
a∪(b∩c)=(a∪b)∩(a∪c);
a∩(b∪c)=(a∩b)∪(a∩c);
德摩根定律:(a∪b)』=a』∩b』和(a∩b)』=a』∪b』;
雙補律:(a』)=a,
普遍定律:a∪u=u和a∩u=a;
空集定律:a∅=a和a∅=a;
補律:a∪a』=u,a∩a』=u;
吸收定律:a∪(a∩b)=a和a∩(a∪b)=a。
代數法則和集合法則不同的表示主要集中為t/f/not
比較有代表性的就是這三種:
double negation and complement:
¬ ¬p ⇔ p matches a = a ;
tautology and universe laws:
p ∨ true ⇔ true matches a ∪ u = u
p ∧ true ⇔ p matches a ∩ u = a;
contradiction and empty set laws:
p ∨ false ⇔ p matches a ∪ ∅ = a
p ∧ false ⇔ false matches a ∩ ∅ = ∅;
編碼時的常用命名法則以及常用語言編碼規範
目前,業界共有四種命名法則 駝峰命名法 帕斯卡命名法 匈牙利命名法和短橫線分隔命名法。小駝峰式命名規則 firstname,camelcase firstname,camelcase 屬性 型別 物件描述,識別符號的名字以乙個或者多個小寫字母開頭作為字首 標識出變數的作用域,型別等 字首之後的是首字...
集合運算的基本法則
集合的並 交 補運算滿足下列定理給出的一些基本運算法則 設a,b,c為任意三個集合,與 分別表示全集和空集,則下面的運算法則成立 1 交換律 commutative laws a b b a,a b b a 2 結合律 associative laws a b c a b c a b c 3 分配律...
集合運算法則與運算律
1 交換律 a b b a,a b b a 2 結合律 a b c a b c,a b c a b c 3 分配律 a b c a c b c a b c a c b c 4 同一律 a a,a u a,a u u,a 5 等冪律 a a a,a a a 6 吸收律 a a b a,a a b a ...