Template:Infobox logical connective

Infobox logical connective

Normal forms
white;">Post's lattices

Template documentation[view] [edit] [history] [purge]

Usage

Logical conjunction

AND
Definition	[math]\displaystyle{ xy }[/math]
Truth table	[math]\displaystyle{ (0001) }[/math]
Logic gate
Normal forms
Disjunctive	[math]\displaystyle{ xy }[/math]
Conjunctive	[math]\displaystyle{ xy }[/math]
Zhegalkin polynomial	[math]\displaystyle{ xy }[/math]
white;">Post's lattices
0-preserving	yes
1-preserving	yes
Monotone	no
Affine	no

{{Infobox logical connective
| title        = Logical conjunction
| other titles = AND
| Venn diagram = Venn0001.svg
| definition   = <math>xy</math>
| truth table  = <math>(0001)</math>
| logic gate   = AND ANSI.svg
| DNF          = <math>xy</math>
| CNF          = <math>xy</math>
| Zhegalkin    = <math>xy</math>
| 0-preserving = yes
| 1-preserving = yes
| monotone     = no
| affine       = no
| self-dual    = yes
}}

Blank

{{Infobox logical connective
| title        = 
| other titles = 
| Venn diagram = 
| definition   = 
| truth table  = 
| logic gate   = 
| DNF          = 
| CNF          = 
| Zhegalkin    = 
| 0-preserving = 
| 1-preserving = 
| monotone     = 
| affine       = 
| self-dual    = 
}}

Import

To import from Russian Wikipedia, use {{Булева функция}}.

The above documentation is transcluded from Template:Infobox logical connective/doc. (edit | history)
Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages.
Please add categories to the /doc subpage. Subpages of this template.