Difference between revisions of "Template:Infobox logical connective"
Jump to navigation
Jump to search
[[Category:Infobox templates|Template:Remove first word]]
(→Usage: Jbbhj) |
imported>Ebe123 m (Reverted edits by 174.87.210.46 (talk) to last version by UpsandDowns1234) |
||
| Line 36: | Line 36: | ||
| label5 = [[Disjunctive normal form|Disjunctive]] | | label5 = [[Disjunctive normal form|Disjunctive]] | ||
| − | | | + | | data5 = {{{DNF|}}} |
| + | |||
| + | | label6 = [[Conjunctive normal form|Conjunctive]] | ||
| + | | data6 = {{{CNF|}}} | ||
| + | |||
| + | | label7 = [[Zhegalkin polynomial|Zhegalkin polynomial]] | ||
| + | | data7 = {{{Zhegalkin|}}} | ||
| header8 = [[Post's lattice|<span style="color:white;">Post's lattices</span>]] | | header8 = [[Post's lattice|<span style="color:white;">Post's lattices</span>]] | ||
Revision as of 18:39, 5 February 2019
| Normal forms | |
|---|---|
| Post's lattices | |
[[Category:Infobox templates|Template:Remove first word]]
| This template uses Lua: |
Usage
| AND | |
|---|---|
| Definition | <math>xy</math> |
| Truth table | <math>(0001)</math> |
| Logic gate | |
| Normal forms | |
| Disjunctive | <math>xy</math> |
| Conjunctive | <math>xy</math> |
| Zhegalkin polynomial | <math>xy</math> |
| 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 =
}}
Import
To import from Russian Wikipedia, use Template:T.
| 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. |