【基础】逻辑符号表

起因：TL494原理框图引起的

过程 ：三态门,同或门,异或门,或非门,与或非门



过程2 ：传输门,全加器,半加器,基本rs触发器,同步rs触发器,jk触发器,d触发器



结论：大家的收获就是结论。
意外：
基本逻辑符号
符号
名字解说例子读作范畴⇒

→

⊃
实质蕴涵A ⇒ B 意味着如果 A 为真，则 B 也为真；如果 A 为假，则对 B 没有任何影响。

→ 可能意味着同 ⇒ 一样的意思(这个符号也可以指示函数的域和陪域；参见数学符号表)。

⊃ 可能意味着同 ⇒ 一样的意思(这个符号也可以指示超集)。x = 2 ⇒ x² = 4 为真，但 x² = 4 ⇒ x = 2 一般为假(因为 x可以是 −2)。蕴涵；如果.. 那么命题逻辑⇔

↔
实质等价A ⇔ B 意味着 A 为真如果 B 为真，和 A为假如果 B 为假。x + 5 = y +2 ⇔ x + 3 = y当且仅当; iff命题逻辑¬

˜
逻辑否定陈述 ¬A 为真，当且仅当 A 为假。

穿过其他算符的斜线同于在它前面放置的 "¬"。¬(¬A) ⇔ A
x ≠ y ⇔ ¬(x = y)非命题逻辑∧
逻辑合取如果 A 与 B 二者都为真，则陈述 A ∧ B为真；否则为假。n < 4 ∧ n >2 ⇔ n = 3 当n 是自然数的时候。与命题逻辑∨
逻辑析取如果 A 或 B 或二者均为真陈述，则 A ∨ B为真；如果二者都为假，则陈述为假。n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 当 n 是自然数的时候。或命题逻辑
⊕


⊻
异或陈述 A ⊕ B 为真，在要么 A 要么 B 但不是二者为真的时候为真。A ⊻ B 意思相同。(¬A) ⊕ A 总是真，A ⊕ A 总是假。xor命题逻辑,布尔代数∀
全称量词∀ x: P(x) 意味着所有的 x 都使 P(x) 都为真。∀ n ∈ N: n² ≥ n.对于所有；对于任何；对于每个谓词逻辑∃
存在量词∃ x: P(x) 意味着有至少一个 x 使 P(x) 为真。∃ n ∈ N: n 是偶数。存在着谓词逻辑∃!
唯一量词∃! x: P(x) 意味着精确的有一个 x 使P(x) 为真。∃! n ∈ N: n + 5 = 2n.精确的存在一个谓词逻辑:=

≡

:⇔
定义x := y 或 x ≡ y 意味着 x 被定义为 y的另一个名字(但要注意 ≡ 也可以意味着其他东西，比如全等)。

P :⇔ Q 意味着 P 被定义为逻辑等价于Q。cosh x := (1/2)(exp x + exp (−x))

A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)被定义为所有地方( )
优先组合优先进行括号内的运算。(8/4)/2 = 2/2 = 1, 而 8/(4/2) = 8/2 = 4。所有地方├
推论x ├ y 意味着 y 推导自 x。A → B ├ ¬B → ¬A 推论或推导命题逻辑,谓词逻