Difference between revisions of "Template:Infobox logical connective/doc"
Jump to navigation
Jump to search
imported>Wikisaurus m |
(→Usage) |
||
| Line 8: | Line 8: | ||
| definition = <math>xy</math> | | definition = <math>xy</math> | ||
| truth table = <math>(0001)</math> | | truth table = <math>(0001)</math> | ||
| − | | logic gate = AND | + | | logic gate = AND ANSI.svg |
| DNF = <math>xy</math> | | DNF = <math>xy</math> | ||
| CNF = <math>xy</math> | | CNF = <math>xy</math> | ||
| Line 25: | Line 25: | ||
| definition = <math>xy</math> | | definition = <math>xy</math> | ||
| truth table = <math>(0001)</math> | | truth table = <math>(0001)</math> | ||
| − | | logic gate = AND | + | | logic gate = AND ANSI.svg |
| DNF = <math>xy</math> | | DNF = <math>xy</math> | ||
| CNF = <math>xy</math> | | CNF = <math>xy</math> | ||
Revision as of 19:45, 4 March 2019
| 40px | This is a documentation subpage for Template:Infobox logical connective. It contains usage information, categories and other content that is not part of the original template page. |
Usage
| AND | |
|---|---|
| 150px | |
| Definition | <math>xy</math> |
| Truth table | <math>(0001)</math> |
| Logic gate | 70px |
| 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 |
{{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 = {{#switch:Да|Да|да=yes|Нет|нет=no}}
| 1-preserving = {{#switch:Да|Да|да=yes|Нет|нет=no}}
| monotone = {{#switch:Нет|Да|да=yes|Нет|нет=no}}
| affine = {{#switch:Нет|Да|да=yes|Нет|нет=no}}
| self-dual = {{#switch:Да|Да|да=yes|Нет|нет=no}}
}}
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.