Template:Infobox logical connective

Infobox logical connective

Normal forms
Post's lattices

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

Usage

Logical conjunction

AND
Definition	$xy$
Truth table	$(0001)$
Logic gate
Normal forms
Disjunctive	$xy$
Conjunctive	$xy$
Zhegalkin polynomial	$xy$
Post's lattices
0-preserving	yes
1-preserving	yes
Monotone	no
Affine	no
Self-dual	yes

{{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    = 
}}

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.
Add categories to the /doc subpage. Subpages of this template.