Fichier:Logical connectives table.svg

Fichier d’origine ‎(Fichier SVG, nominalement de 547 × 710 pixels, taille : 1,11 Mio)

Ce fichier et sa description proviennent de Wikimedia Commons.

Accéder au fichier sur Commons

Description

The sixteen binary logical connectives: tautologies and truth values.

This SVG was created with Inkscape.

Date

août 2009

Source

Travail personnel

Auteur

Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".

Autres versions

Printable version: File:Logical connectives table and Hasse diagram.pdf

Version on Flickr

Conditions d’utilisation

Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier.
Dans certains pays, ceci peut ne pas être possible ; dans ce cas :
J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi.

Annotations

Cette image est annotée : Voir les annotations sur Wikimedia Commons

4

525

395

38

547

710

In this line you see the law of contraposition

$(A\rightarrow B)\Leftrightarrow (\neg A\leftarrow \neg B)$

4

418

395

38

547

710

In this line you see the De Morgan's law

$\neg (A\vee B)\Leftrightarrow (\neg A\wedge \neg B)$

4

635

394

38

547

710

In this line you see the De Morgan's law

$\neg (A\wedge B)\Leftrightarrow (\neg A\vee \neg B)$

Historique du fichier

Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.

	Date et heure	Dimensions	Utilisateur	Commentaire
actuel	24 juillet 2021 à 16:14	547 × 710 (1,11 Mio)	Watchduck	revert to last version by myself
	20 juin 2021 à 16:54	547 × 710 (930 kio)	Mechachleopteryx	added xor signs and changed true and false to bottom and top
	7 mai 2010 à 21:27	547 × 710 (1,11 Mio)	Watchduck	changed XOR sign
	25 août 2009 à 15:06	547 × 710 (1,11 Mio)	Watchduck
	24 août 2009 à 18:11	547 × 710 (1,1 Mio)	Watchduck	{{Information \|Description={{en\|1=The sixteen binary logical connectives: tautologies and truth values.}} \|Source={{Own}} \|Author=Tilman Piesk \|Date=2009-08 \|Permission= \|other_versions= }} Category:Boolean algebra [[Category:Proposi