邏輯與
外表

邏輯與(參見英文: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("至少有一個唔係正數")
睇埋
[編輯]引咗
[編輯]- ↑ "2.2: Conjunctions and Disjunctions". Mathematics LibreTexts (英文). 2019-08-13. 喺2020-09-02搵到.
- ↑ Smith, Peter. "Types of proof system" (PDF). p. 4. 原著 (PDF)喺2024年10月6號歸檔. 喺2025年7月8號搵到.