Ficheiro:Logical connectives Hasse diagram.svg

Imagem numa resolução maior (ficheiro SVG, de 744 × 1 052 píxeis, tamanho: 201 kB)

Descrição do ficheiro

Rhombic dodecahedron:

Logical connectives:

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 ¬X
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 ¬X
(Logical connectives table and Hasse diagram)


Descrição
English: The sixteen logical connectives ordered in a Hasse diagram. They are represented by: The nodes are connected like the vertices of a 4 dimensional cube. The light blue edges form a rhombic dodecahedron - the convex hull of the tesseract's vertex-first shadow in 3 dimensions.
中文:這十六個逻辑运算符排列在一个哈斯圖裡面。他们代表: 节点像四維超正方體的顶点那样连接。浅蓝色边缘形成菱形十二面體——三维阴影中冪集的第一个顶点的凸殼。
This SVG was created with Inkscape.
Data
Origem Obra do próprio
Autor
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Permissão
(Reutilizar este ficheiro)
Public domain Eu, titular dos direitos de autor desta obra, dedico-a ao domínio público, com aplicação em todo o mundo.
Nalguns países isto pode não ser legalmente possível; se assim for:
Concedo a todos o direito de usar esta obra para qualquer fim, sem quaisquer condições, a menos que tais condições sejam impostas por lei.
Outras versões

Printable versions:

See also:

Legendas

Adicione uma explicação de uma linha do que este ficheiro representa

Elementos retratados neste ficheiro

retrata

image/svg+xml

Histórico do ficheiro

Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.

(Mais recentes | Mais antigas) Ver (10 posteriores | ) (10 | 20 | 50 | 100 | 250 | 500)
Data e horaMiniaturaDimensõesUtilizadorComentário
atual14h17min de 13 de fevereiro de 2023Miniatura da versão das 14h17min de 13 de fevereiro de 2023744 × 1 052 (201 kB)TeunSpaansupdated to newer inkscape version, hopefully alll previous issues solved
14h14min de 24 de julho de 2021Miniatura da versão das 14h14min de 24 de julho de 2021744 × 1 052 (201 kB)Watchduckrevert to last version by myself
14h59min de 20 de junho de 2021Miniatura da versão das 14h59min de 20 de junho de 2021744 × 1 052 (193 kB)Mechachleopteryxwidened xor symbol
14h38min de 20 de junho de 2021Miniatura da versão das 14h38min de 20 de junho de 2021744 × 1 052 (193 kB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
14h33min de 20 de junho de 2021Miniatura da versão das 14h33min de 20 de junho de 2021744 × 1 052 (201 kB)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
14h27min de 20 de junho de 2021Miniatura da versão das 14h27min de 20 de junho de 2021744 × 1 052 (193 kB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
14h24min de 20 de junho de 2021Miniatura da versão das 14h24min de 20 de junho de 2021744 × 1 052 (201 kB)MechachleopteryxReverted to version as of 19:25, 7 May 2010 (UTC)
14h17min de 20 de junho de 2021Miniatura da versão das 14h17min de 20 de junho de 2021744 × 1 052 (193 kB)Mechachleopteryxchanged xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
19h25min de 7 de maio de 2010Miniatura da versão das 19h25min de 7 de maio de 2010744 × 1 052 (201 kB)Watchduckchanged XOR sign from <math>\dot\or</math> to <math>\oplus</math>
17h00min de 24 de agosto de 2009Miniatura da versão das 17h00min de 24 de agosto de 2009744 × 1 052 (206 kB)Watchduck
(Mais recentes | Mais antigas) Ver (10 posteriores | ) (10 | 20 | 50 | 100 | 250 | 500)

Mais de 100 páginas usam este ficheiro. A lista abaixo apresenta apenas as primeiras 100 páginas. Encontra-se disponível uma lista completa.

Ver a lista completa de páginas que contêm hiperligações para este ficheiro.

Utilização global do ficheiro

Metadados