Difference between revisions of "Template:Infobox logical connective"
Jump to navigation
Jump to search
[[Category:Infobox templates|Template:Remove first word]]
imported>Awesome Aasim (Undid revision 879136301 by 97.112.160.172 (talk)) |
|||
| Line 1: | Line 1: | ||
| − | {{ | + | {{Infobox |
| − | | name | + | | name = Infobox logical connective |
| − | + | | child = {{{child|}}} | |
| subbox = {{{subbox|}}} | | subbox = {{{subbox|}}} | ||
| italic title = {{{italic title|no}}} | | italic title = {{{italic title|no}}} | ||
| Line 15: | Line 15: | ||
| imagestyle = | | imagestyle = | ||
| captionstyle = | | captionstyle = | ||
| − | | image = {{{{{Venn diagram|}}}|[[File:{{{Venn diagram|}}}|[[Venn diagram]] of {{{title|{{PAGENAME}}}}}|150px]]}} | + | | image = {{#if:{{{Venn diagram|}}}|[[File:{{{Venn diagram|}}}|[[Venn diagram]] of {{{title|{{PAGENAME}}}}}|150px]]}} |
| caption = | | caption = | ||
| image2 = | | image2 = | ||
| Line 24: | Line 24: | ||
| datastyle = | | datastyle = | ||
| + | | label1 = Definition | ||
| + | | data1 = {{{definition|}}} | ||
| − | | label2 = [[]] | + | | label2 = [[Truth table]] |
| − | | data2 = {{{|}}} | + | | data2 = {{{truth table|}}} |
| label3 = [[Logic gate]] | | label3 = [[Logic gate]] | ||
| − | | data3 = {{ | + | | data3 = {{#if:{{{logic gate|}}}|[[File:{{{logic gate|}}}|70px]]}} |
| − | | header4 = | + | | header4 = Normal forms |
| − | | label5 = [[ | + | | label5 = [[Disjunctive normal form|Disjunctive]] |
| − | ]] | + | | data5 = {{{DNF|}}} |
| − | | data5 = {{{|}}} | ||
| − | | label6 = [[]] | + | | label6 = [[Conjunctive normal form|Conjunctive]] |
| − | | data6 = {{{}}} | + | | data6 = {{{CNF|}}} |
| − | | label7 = [[]] | + | | label7 = [[Zhegalkin polynomial|Zhegalkin polynomial]] |
| − | | data7 = {{{}}} | + | | data7 = {{{Zhegalkin|}}} |
| − | | header8 = [[|<span style="color:white;">]] | + | | header8 = [[Post's lattice|<span style="color:white;">Post's lattices</span>]] |
| − | | label9 = | + | | label9 = 0-preserving |
| − | | data9 = {{|}}} | + | | data9 = {{{0-preserving|}}} |
| − | | | + | | label10 = 1-preserving |
| − | | | + | | data10 = {{{1-preserving|}}} |
| − | | label11= | + | | label11 = Monotone |
| − | | data11 = {{|}}} | + | | data11 = {{{monotone|}}} |
| label12 = Affine | | label12 = Affine | ||
| data12 = {{{affine|}}} | | data12 = {{{affine|}}} | ||
| − | | | + | | label13 = Self-dual |
| − | | | + | | data13 = {{{self-dual|}}} |
| − | }}<noinclude>{{}}</noinclude> | + | }}<noinclude>{{doc}}</noinclude> |
Revision as of 21:13, 19 January 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. |