跳去內容

邏輯與

出自維基百科,自由嘅百科全書
溫氏圖 A ∧ B;兩個圓圈分別係 A 同 B,而紅色嗰笪就係 A ∧ B —屬於 A and 屬於 B 嘅空間。

邏輯與(參見英文and粵拼粵化口語音en6數學符號)係邏輯上一種邏輯連接詞若且唯若 A 同 B 兩個係真,「A 係真確 and B 係真確」呢句嘢-and 嚟自英文噉解-就會係真[1]

低級程式語言,邏輯與係種位操作,指兩個參數嘅每一個位元順序逐個行邏輯與;喺一啲中級程式語言(例如 C 程式語言)同衍生嘅其他語言,亦有位操作層面嘅邏輯與。

基本定義

[編輯]

邏輯與係一種運算方法,最基本上係針對兩個邏輯變量嘅,當中兩個變量通常係命題。邏輯與嘅規則如下[2]

只有手上嗰兩個變量都係嘅時候,結果先至會係真。
否則結果就係

換句話講,就係「兩個都成立,整體先成立」。

數學邏輯上,邏輯與一般會用符號 ∧ 表示,定義係:A ∧ B 係真,若且唯若 A 同 B 都係真。用粵文嘅日常用語講,設

  • 命題 A 係今日落雨
  • 命題 B 係我攞咗遮

噉樣,複合命題 A ∧ B 就係今日落雨,而且我攞咗遮。只有兩句都係真嗰陣,句整體命題先會係真。

表格表示

[編輯]

以下係 真值表,只有 都係真嗰陣, 先會係真:

输入输出

編程應用

[編輯]

程式語言入面,條件判斷成日用到關鍵詞 if,而 and 就係邏輯與噉嘅運算符。用法係只有左右兩邊嘅條件都成立(都係 True)嗰陣,成個判斷先至會通過。以下係 Python 嘅例子:

 x = 5
 y = 10
 # 設 x 為 5 而 y 為 10。
 
 if x > 0 and y > 0:
   print("x 同 y 都係正數")
 else:
   print("至少有一個唔係正數")

睇埋

[編輯]

引咗

[編輯]
  1. "2.2: Conjunctions and Disjunctions". Mathematics LibreTexts (英文). 2019-08-13. 喺2020-09-02搵到.
  2. Smith, Peter. "Types of proof system" (PDF). p. 4. 原著 (PDF)喺2024年10月6號歸檔. 喺2025年7月8號搵到.