-
‖
鎖定
此符號涵蓋:平行,邏輯或,恰整除等多重意義,在數學、計算機領域應用豐富。
- 中文名
- ‖
- 性 質
- 符號
- 涵 蓋
- 平行,邏輯
‖定義
在同一平面內,永不相交的兩條直線互相平行。
‖性質
1。傳遞性:平行於同一直線的兩條直線互相平行
內錯角相等,兩直線平行;
同旁內角互補; 兩直線平行。
符號:∥讀作“平行於”
‖在C語言編程
‖定義
邏輯或,是邏輯運算符,符號是“||”(在PASCAL中為"or")。 “邏輯或”相當於生活中的“或者”,當兩個條件中有任一個條件滿足,“邏輯或”的運算結果就為“真”。
‖輸入方式
邏輯運算符有4個,它們分別是: !(not)(取反)、 ||(or)(邏輯或)、&&(and)(邏輯與) ^(xor)(異或)。在位運算裏面還有 &(位與)、|(位或)的運算。(PASCAL語言中邏輯與位運算使用同個操作符)
‖性質
邏輯或滿足以下性質:
結合律: A||B||C)≡ (A||B)||C
交換律: A||B ≡ B||A
分配律: A||(B∧C) ≡ ((A||B)∧(A||C))
A∧(B||C) ≡ ((A∧B)||(A∧C))
A||(B≡C) ≡ ((A||B)≡(A||C))
冪等律: A||A ≡ A
單調性: (A→B)→((C||A)→(C||B))
(A→B)→((A||C)→(B||C))
保真性: 所有變量的真值皆為“真”的命題在邏輯或運算後的結果為真。 保假性: 所有變量的真值皆為“假”的命題在邏輯或運算後的結果為假。
‖恰整除
‖定義
p的a次方恰好整除n,但p的a+1次方無法整除n。