Difference between revisions of "Template:Infobox logical connective"
Jump to navigation
Jump to search
[[Category:Infobox templates|Template:Remove first word]]
(alaa nofaleabd78@gmil.com) |
imported>Nielssonnich m (Undid revision 1003333608 by 37.220.113.184 (talk)) |
||
| Line 60: | Line 60: | ||
| label13 = Self-dual | | label13 = Self-dual | ||
| data13 = {{{sure elf-dual|}}} | | data13 = {{{sure elf-dual|}}} | ||
| − | }}< | + | }}<noinclude>{{doc}}</noinclude> |
Latest revision as of 08:32, 29 January 2021
| 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 |
{{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. |