在命题逻辑和逻辑代数中,德摩根定律(英語:De Morgan's laws,又称笛摩根定理、第摩根定律、对偶律等)是关于命题逻辑规律的一对法则。 19世纪英国数学家奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系: ¬ ( p ∧ q ) ≡ ( ¬ p ) ∨ ( ¬ q ) {\displaystyle...
6 KB (1,098 words) - 16:41, 18 October 2024
奥古斯塔斯·德摩根(Augustus De Morgan,1806年6月27日—1871年3月18日,英语发音[ɔːˈgʌstəs də ˈmɔːgən]),英国数学家及逻辑学家。他明确陈述了德摩根定律,将数学归纳法的概念严格化。他生前多以报刊评论员的身份而知名。 他生於印度馬德...
8 KB (749 words) - 18:49, 29 February 2024
摩尔定律(英語:Moore's law)是指集成电路上可容纳的晶体管数目,每隔约兩年便会增加一倍,由快捷半导体和英特尔创始人之一戈登·摩尔(Gordon Earle Moore)提出。而经常被引用的“18个月”,則是由英特尔首席执行官大衛·豪斯(David House)提出:预计18个月会将芯片的性...
12 KB (1,519 words) - 06:48, 11 October 2024
(布尔代数) 特征函数 紧致性定理 完全布尔代数 德·摩根 德·摩根定律 对偶性 (序理论) 实体图 存在图 一阶逻辑 形式系统 自由布尔代数 Heyting代数 指示函数 内部代数 威廉姆·斯坦利·杰文斯 Johnston图 卡诺图 形式定律 Lindenbaum–Tarski代数 逻辑门 逻辑连结词...
1 KB (170 words) - 04:15, 1 November 2022
上的分布位置,因此获1933年诺贝尔生理医学奖。此外,他还发现了遗传连锁定律。 1866年出生于肯塔基州列克星敦市。其父母分别名叫Charlton Hunt Morgan和Ellen Key Howard Morgan。 摩尔根曾读过肯塔基州大学(现为肯塔基大学)。他大学阶段主修科学,且尤其爱好自然...
5 KB (312 words) - 05:22, 5 March 2024
無矛盾律,與排中律和同一律同屬於三大傳統思維規律。在德摩根定律中,無矛盾律等同於排中律。不過,沒有任何邏輯體系僅僅建立三條規律之上,而且也沒有任何其中之一的規律可以得出諸如德摩根定律與肯定前件這樣的推理規則。 無矛盾律和排中律創造了「邏輯空間」中的二分法——「空間」...
3 KB (486 words) - 07:31, 23 January 2024
自由组合律主要针对非同源染色体上的非等位基因的遗传规律。但许多基因位于同一染色体上,这一现象称为基因连锁。 1909年美国遗传家摩尔根及其学生在孟德尔定律基础上,利用果蝇进行的杂交实验,揭示了位于同源染色体上不同位置的两对以上等位基因的遗传规律——连锁与互换规律。...
3 KB (237 words) - 21:53, 25 February 2023
A\lor (B\land (C\lor D))} 一个 OR 嵌套在一个 AND 中 把公式转换成 DNF 要使用逻辑等价,比如双重否定除去、德·摩根定律和分配律。注意所有逻辑公式都可以转换成析取范式。但是,在某些情况下转换成 DNF 可能导致公式的指数性爆涨。例如,在 DNF 形式下,如下逻辑公式有...
2 KB (286 words) - 15:14, 22 July 2024
对偶空间,任何向量空間V都有其對應的對偶向量空間(或簡稱為對偶空間),由V的線性泛函組成 对偶多面体,幾何學中,若一種多面體的每個頂點均能對應到另一種多面體上的每個面的中心,它就是對方的對偶多面體 对偶律,又稱德摩根定律,是關於命題邏輯規律的一對法則 名稱以「对偶」開頭的所有条目 名稱以「對偶」開頭的所有条目...
863 bytes (142 words) - 03:48, 28 October 2020
(B\vee D)\wedge (B\vee E)} 所有命题公式都可以转换成 CNF 的等价公式。这种变换基于了关于逻辑等价的规则: 双重否定律、德·摩根定律和分配律。 因为所有逻辑公式都可以转换成合取范式的等价公式,证明经常基于所有公式都是 CNF 的假定。但是在某些情况下,这种到 CNF...
2 KB (404 words) - 15:14, 22 July 2024
{\displaystyle A} 和 B {\displaystyle B} 是全集 U {\displaystyle U} 的子集,则下列恒等式成立: 德摩根定律: ( A ∪ B ) ∁ = A ∁ ∩ B ∁ {\displaystyle (A\cup B)^{\complement }=A^{\complement...
4 KB (627 words) - 07:16, 30 June 2024
Int, IL, H) 经典逻辑(CPC, Cl, CL):IPC + P ∨ ¬P 弱排中律逻辑(KC, Jankov逻辑,德·摩根定律逻辑): IPC + ¬¬P ∨ ¬P 哥德尔-Dummett逻辑(LC):IPC + (P → Q) ∨ (Q → P) Kreisel-Putnam逻辑:IPC +(¬P...
3 KB (505 words) - 06:34, 14 July 2019
{\displaystyle P=ND} 古典邏輯中的「與」、「或」兩個操作皆滿足德摩根定律,即 p∧q≡¬(¬p∨¬q) 以及其對偶 p∨q≡¬(¬p∧¬q))。向量邏輯的相關操作亦可被證實為滿足德摩根定律: C ( u ⊗ v ) = N D ( N u ⊗ N v ) {\displaystyle...
15 KB (2,774 words) - 14:39, 26 September 2021
埃伯哈德卡爾圖賓根大學(德語:Eberhard Karls Universität Tübingen;拉丁語:Universitas Eberhardina Carolina)通稱蒂宾根大学,又譯图宾根大学、杜賓根大學,位于德国蒂宾根,是德國最古老的大學之一,在自然科學和人文科學領域都享有盛名。大學...
18 KB (2,310 words) - 03:22, 26 April 2024
\{x\wedge y:y\in Y\}} 对于任何H中的元素x和任何H的子集Y。 不是所有海廷代数都满足两个德·摩根定律。但是,对于所有海廷代数H下列陈述都是等价的: H满足两个德·摩根定律。 ¬ ( x ∧ y ) = ¬ x ∨ ¬ y {\displaystyle \lnot (x\wedge...
12 KB (1,827 words) - 07:12, 27 October 2022
因的影响,而这些其他等位基因可能位于别的染色体上。 遗传连锁是孟德尔定律最明显的例外。首个证实存在遗传连锁的实验完成于1905年。当时,人们还不知道为什么某些性状会共同遗传。后来的研究揭示了基因是与物理距离相关的物理结构。 一般用厘摩(cM)单位来衡量遗传连锁的程度。两个遗传标记之间的距离为1...
8 KB (1,035 words) - 21:53, 25 February 2023
弗雷格的概念文字。 Clarence Irving Lewis的真势模态逻辑的系统S1-S5。 直觉逻辑和多值邏輯拒绝排中律和德·摩根定律; 次协调逻辑(比如:双面真理论和相干逻辑)拒绝无矛盾律; 相干逻辑、线性逻辑和非单调逻辑拒绝蕴涵的单调性; 线性逻辑拒绝蕴涵的幂等律;...
7 KB (937 words) - 04:48, 5 August 2024
德羅設計的圖根哈特別墅在2002年被列入世界文化遺產。在布尔诺的聖湯瑪斯修道院,遗传学家孟德尔完成了豌豆花杂交实验,提出了遗传学定律。 遺傳學的奠基人孟德爾自1854年在這裡工作,並在這裡去世。 著名作家米蘭·昆德拉、數學家哥德爾、建築師阿多夫·洛斯在這裡出生。 AZ大廈...
13 KB (1,103 words) - 03:00, 16 December 2024
克莱尼代数(名稱源自于美国数学家逻辑学家 斯蒂芬·科尔·克莱尼)在数学中是下列两个事物之一: 带有满足德·摩根定律和不等式 x∧−x ≤ y∨−y 的对合(补)运算的有界分配格。所以所有布尔代数都是 Kleene 代数,但是多数 Kleene 代数不是布尔代数。如同布尔代数有关于经典命题逻辑,Kle...
7 KB (1,153 words) - 02:12, 25 February 2023
1819:杜隆-珀蒂定律将固体元素的原子量与其比热容联系起来。 1819 年:伊尔哈德·米修里希在晶体同构方面的工作使许多化学式得以澄清,解决了原子量计算中的一些歧义。 1834 年:克拉佩龙阐述了理想气体定律。 理想气体定律是第一个描述系统中原子或分子数量与系统的(质量以外的)其他物理性质间的关系定律。...
9 KB (1,331 words) - 10:46, 23 August 2024
連接在一起形成“线与(wired AND)”(正邏輯,即高电平代表真)或“線或(wired OR)”(負邏輯,低电平代表真)。线或的原理可通过简单的分析得知,也可由德摩根定律证明。 OC 唯一的問題就是功率耗損。因為這樣的組態往往需要較高的電流才能正確的工作,即使在關閉的狀態,也通常會有幾個 nA 的洩漏電流,更不用说输出侧上拉电阻所带来的损耗。...
3 KB (474 words) - 06:20, 23 July 2020
更适合关系代数应用的一个等价标识(signature)是 (L, ∧, ∨, ¬, 0, 1, ·, I, ▷, ◁),这里的一元运算 x\ 和 x▷ 是可用如下德·摩根定律的方式相互转换的: x\y = ¬(x▷¬y), x▷y = ¬(x\¬y), 和对偶的为 /y 和 ◁y 使用: x/y = ¬(¬x◁y)...
8 KB (1,260 words) - 17:07, 1 April 2019
,甚至计算机科学;专业课程包括:分子遗传学、群体遗传学、定量遗传学、生态遗传学以及基因组学等。 孟德尔(1822-1884), 遗传学的奠基人,通过豌豆杂交实验发现"孟德尔定律" 托马斯·亨特·摩尔根(1866-1945), 现代遗传学之父 詹姆斯·杜威·沃森(1928-), 弗朗西斯·克里克(1916-2004)...
1 KB (154 words) - 04:27, 30 August 2020
氨基酸 铵(铵根) 胺 苯 苯环 玻意耳定律 布拉格定律 布朗运动 查理定律 超纯水 超重水 潮解 沉淀 纯净物 醇 催化 催化剂 单原子分子 氮 道尔顿分压定律 德拜模型 滴定 滴定管 滴度 滴管 电池 电化学 电子式 多环芳烃 惰性气体 蒽 二茂铁 二氧化碳 法拉第常数 法拉第电解定律 反应 放射性...
4 KB (500 words) - 21:24, 22 May 2024
Bernoulli,1700年2月8日—1782年3月17日),生於荷兰格罗宁根,著名瑞士數學家,约翰·伯努利之子,為伯努利家族代表人物之一。其伯努利定律适用于沿着一条流线的稳定、非粘滞、不可压缩流,在流体力学和空气动力学中有关键性的作用。 丹尼尔·伯努利出生于荷兰的格罗宁根,但一生大部分时间居住在瑞士巴塞尔。他是约翰·伯努...
6 KB (865 words) - 14:54, 25 November 2024
和空集、对有限交(或有限并)和余集运算封闭的 Ω {\displaystyle \Omega } 的子集类,这两者是等价的。 无论从哪个定义出发,利用德摩根定律和集合交与并运算的分配律,都可列出代数具有如下性质:空集和全集是它的元素、对有限并和有限交封闭、对补集运算封闭、对差集运算封闭。...
4 KB (642 words) - 21:28, 8 September 2024
弗里德里希·威廉·奥斯特瓦尔德(德语:Friedrich Wilhelm Ostwald,拉脱维亚语:Vilhelms Ostvalds;1853年9月2日—1932年4月4日),出生于拉脱维亚的德国籍物理化学家。他提出了稀释定律,对电离理论和质量作用定律进行了验证。他将热力学原理引入结晶学和催化现...
24 KB (3,580 words) - 00:26, 9 December 2024
{\displaystyle A} 和 B {\displaystyle B} 的所有可能真值生成相同真值,它们分别是逻辑等价的,并可相互代换。这种等价是德·摩根定律中的。 A ∨ B (还写为 A ⊕ B {\displaystyle A\oplus B} 或 A ≠ B {\displaystyle A\neq...
10 KB (916 words) - 14:18, 22 October 2022
(A\land B)\Leftrightarrow (\lnot A\lor \lnot B)} (若非A且B皆為真,則非A或非B為真,反之亦然):此即德摩根定律 ( ( A → B ) ∧ ( B → C ) ) → ( A → C ) {\displaystyle ((A\to B)\land (B\to...
4 KB (737 words) - 04:20, 10 January 2024
当时,许多 基于计算机的 逻辑最小化 的工具,我们今天有但是那时并不存在。因此,逻辑最小化是大部分限于使用 卡诺图 和 德摩根定律 中。 因此,查尔斯·L·理查德发明了一种方法来实施有限状态机,并不需要一个明确的状态转移表。他发表了他的调查结果在二月1973年的《電子學(英语:Electronics...
3 KB (587 words) - 08:17, 31 December 2018
马克斯·普朗克 (category 哥廷根大學教師)
disorder),並把瑞利-金斯定律和维恩位移定律这两条定律使用一种熵列式进行内插,由此发现了普朗克辐射定律,可以很好地描述测量结果,不久後,人們發現他的這項新理論是沒有實驗證據的,這也讓普朗克他在當時感到稍稍的無奈。可是他並沒有因此而氣餒,反而修正了自己的方式,最後成功的推衍出著名的第一版普朗克黑體輻射定律,此定律...
32 KB (4,891 words) - 02:16, 29 December 2024