‖

此符號涵蓋：平行，邏輯或，恰整除等多重意義，在數學、計算機領域套用豐富。

基本介紹

• 中文名：‖
• 性質：符號
• 涵蓋：平行，邏輯

定義

在同一平面內，永不相交的兩條直線互相平行。

性質

1。傳遞性：平行於同一直線的兩條直線互相平行

2。三線八角：同位角相等,兩直線平行；

內錯角相等,兩直線平行；

同旁內角互補； 兩直線平行。

符號：∥讀作乃匪阿腿“平行於”

在C語言編程

定義

邏輯或，是邏輯運算符，符號是“||”(在PASCAL中為"or")。 “邏輯或”相當於應習她生府漿奔活中的“或者”，當兩個條件中有任一個條件滿足，“邏輯或”的運算結果就膠催墓擔為“真”。

輸入方式

邏輯運算符把各個運算的變數（或常量）連線起來組成一個邏輯表達式。它可以再鍵盤上通過使用兩次組合鍵“shift+\” 打出來。

邏輯運算符有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。

套用

討論費馬小定理、數論中的偽質數的時候用到。