MAKE A MEME
View Large Image
| View Original: | Logical connectives table.svg (437x568) | |||
| Download: | Original | Medium | Small | Thumb |
| Courtesy of: | commons.wikimedia.org | More Like This | ||
| Keywords: Logical connectives table.svg en The sixteen binary logical connectives tautologies and truth values Own Mate2code 2009-08 Printable version File Logical connectives table and Hasse diagram pdf http //www flickr com/photos/hexadecimal_time/2400610933/ Version on Flickr ImageNote 1 400 2 146 76 547 710 2 These are the truth value inputs called A and B ImageNoteEnd 1 ImageNote 2 403 164 143 36 547 710 2 This is one truth value output The truth function AND makes the following associations 0 0 --->0 1 0 --->0 0 1 --->0 1 1 --->1 ImageNoteEnd 2 ImageNote 3 4 525 395 38 547 710 2 In this line you see the law of contraposition <math> A \rightarrow B \Leftrightarrow \neg A \leftarrow \neg B </math> ImageNoteEnd 3 ImageNote 4 4 418 395 38 547 710 2 In this line you see the De Morgan's law <math> \neg A \vee B \Leftrightarrow \neg A \wedge \neg B </math> ImageNoteEnd 4 ImageNote 5 4 635 394 38 547 710 2 In this line you see the De Morgan's law <math>\neg A \wedge B \Leftrightarrow \neg A \vee \neg B </math> ImageNoteEnd 5 Propositional logic Colored nibbles blue green white | ||||
