Difference between revisions of "Template:Logical connectives table and Hasse diagram"

From blackwiki
Jump to navigation Jump to search
imported>WOSlinker
(tidy style for better HTML5 compatibility)
imported>WOSlinker
(fix small tags)
 
Line 46: Line 46:
 
</imagemap>
 
</imagemap>
 
|-
 
|-
| style="text-align:left;" |[[File:Magnify-clip (blue).svg|20px|link=commons:File:Logical connectives table.svg]]</small>  ||  || style="text-align:right;" | [[File:Magnify-clip (blue).svg|20px|link=commons:File:Logical connectives Hasse diagram.svg]] &nbsp;&nbsp; [[File:Loupe light.svg|20px|link=http://upload.wikimedia.org/wikipedia/commons/thumb/3/3e/Logical_connectives_Hasse_diagram.svg/1000px-Logical_connectives_Hasse_diagram.svg.png]]
+
| style="text-align:left;" |[[File:Magnify-clip (blue).svg|20px|link=commons:File:Logical connectives table.svg]] ||  || style="text-align:right;" | [[File:Magnify-clip (blue).svg|20px|link=commons:File:Logical connectives Hasse diagram.svg]] &nbsp;&nbsp; [[File:Loupe light.svg|20px|link=http://upload.wikimedia.org/wikipedia/commons/thumb/3/3e/Logical_connectives_Hasse_diagram.svg/1000px-Logical_connectives_Hasse_diagram.svg.png]]
 
|}
 
|}
 
{{clear}}
 
{{clear}}

Latest revision as of 18:04, 30 July 2017

input Ainput Boutput f(A,B)X and ¬XA and B¬A and BBA and ¬BAA xor BA or B¬A and ¬BA xnor B¬A¬A or B¬BA or ¬B¬A or ¬BX or ¬XLogical connectives table.svg
X or ¬X¬A or ¬BA or ¬B¬A or BA or B¬B¬AA xor BA xnor BAB¬A and ¬BA and ¬B¬A and BA and BX and ¬XLogical connectives Hasse diagram.svg
Magnify-clip (blue).svg Magnify-clip (blue).svg    Loupe light.svg