1980:
2020:
153:
1943:
1913:
1811:
1673:
1664:
1433:
1424:
1415:
1143:
1134:
1125:
1116:
827:
818:
809:
487:
478:
261:
43:
1790:
1647:
1638:
1402:
1393:
1384:
1107:
1098:
1089:
1080:
796:
787:
778:
461:
452:
240:
95:
2084:
2158:"}},"text\/plain":{"en":{"":"media type"}}},"{\"value\":\"image\\\/svg+xml\",\"type\":\"string\"}":{"text\/html":{"en":{"P1163":"image\/svg+xml"}},"text\/plain":{"en":{"P1163":"image\/svg+xml"}}}}": -->
2154:
2387:
2358:
2328:
2294:
2264:
2234:
2438:{{Information |Description=Venn diagrams (sometimes called Johnston diagrams) concerning propositional calculus and set theory |Source=own work |Date=2008/Jan/22 |Author=Tilman Piesk |Permission=publich domain |other_versions= }}
2845:
2840:
1870:
1618:
1522:
1372:
1344:
1311:
1283:
1024:
405:
1060:
700:
988:
733:
764:
675:
435:
379:
1215:
903:
582:
1748:
1709:
1581:
1465:
2008:
1554:
1496:
1250:
1180:
940:
866:
640:
609:
550:
524:
338:
302:
2155:
2338:
2800:
2680:
2660:
169:
168:
164:
2785:
159:
158:
170:
1925:
160:
171:
156:
157:
167:
163:
2858:
This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.
2165:
2795:
2755:
2144:
166:
165:
2104:
1950:
162:
161:
2472:
1853:
1601:
1505:
1355:
1327:
1294:
1266:
1007:
388:
2620:
2765:
1043:
683:
971:
716:
2861:
If the file has been modified from its original state, some details may not fully reflect the modified file.
747:
658:
418:
362:
69:
65:
61:
2495:
57:
53:
47:
1998:
1979:
1198:
886:
565:
1731:
1692:
1564:
1448:
142:
2420:
2415:
2386:
2381:
2357:
2352:
2327:
2322:
2293:
2288:
2263:
2258:
2019:
1537:
1533:
1479:
1233:
1163:
923:
849:
623:
592:
533:
507:
321:
285:
106:
1560:
1444:
914:
840:
78:
2477:
195:
114:
2027:
1501:
919:
845:
561:
1956:
1727:
588:
2820:
2670:
2650:
8:
1942:
317:
146:
2462:
1966:(Inherently only conjunctions can be the case. Disjunctions are true in several cases.)
1255:
1185:
951:
877:
307:
2745:
2580:
2520:
2405:
138:
101:
2134:
2530:
2570:
2830:
2825:
2640:
529:
2467:
2452:
2431:
2397:
2368:
2304:
2274:
2244:
2099:
1830:
358:
2233:
2228:
1912:
1810:
1672:
1663:
1432:
1423:
1414:
1142:
1133:
1124:
1115:
826:
817:
808:
486:
477:
260:
42:
882:
134:
2540:
1688:
1789:
1646:
1637:
1401:
1392:
1383:
1106:
1097:
1088:
1079:
795:
786:
777:
460:
451:
239:
2615:
2515:
2457:
2175:
2093:
2735:
2645:
2630:
1720:
2312:
1220:
1150:
2550:
2201:
Click on a date/time to view the file as it appeared at that time.
177:
2740:
2560:
2404:{{Information |Description= |Source=eigene arbeit |Date= |Author=
1921:
The 2x2 matrices show the same information like the Venn diagrams.
2690:
743:
2585:
2730:
2505:
2605:
83:(SVG file, nominally 380 × 280 pixels, file size: 351 bytes)
1988:
In the Venn diagrams the negation exchanges black and red.
2720:
2710:
2700:
1994:
that there is an element in one of the red intersections.
1959:. The red fields of their 4x4 matrices tell, in which of
89:
2128:
Add a one-line explanation of what this file represents
2251:
Shade of red and thinner lines match other image sets.
1986:
Negations of the relations in the matrix on the right.
1893:
They are shown in a separate matrix in the box below.
1886:
They are in the opposite position within this matrix.
1857:
1735:
1696:
1605:
1568:
1541:
1509:
1483:
1452:
1359:
1331:
1298:
1270:
1237:
1202:
1167:
1047:
1011:
975:
927:
890:
853:
751:
720:
687:
662:
627:
596:
569:
537:
511:
422:
392:
366:
325:
289:
2446:
1919:
The operations, arranged in the same matrix as above.
1884:
These sets (statements) have complements (negations).
1856:
1734:
1695:
1604:
1567:
1540:
1508:
1482:
1451:
1358:
1330:
1297:
1269:
1236:
1201:
1166:
1046:
1010:
974:
926:
889:
852:
750:
719:
686:
661:
626:
595:
568:
536:
510:
421:
391:
365:
324:
288:
2810:
2595:
2486:
2199:
2103:
because it consists entirely of information that is
113:
Commons is a freely licensed media file repository.
2105:
common property and contains no original authorship
2038:
that there is no element in any black intersection.
1973:and there is no element in any black intersection.
1891:
These relations are statements, and have negations.
1934:In set theory the Venn diagrams represent the set,
1864:
1742:
1703:
1612:
1575:
1548:
1516:
1490:
1459:
1366:
1338:
1305:
1277:
1244:
1209:
1174:
1054:
1018:
982:
934:
897:
860:
758:
727:
694:
669:
634:
603:
576:
544:
518:
429:
399:
373:
332:
296:
2775:
208:
178:Operations and relations in set theory and logic
2311:cleaner code and lighter red (overwritten with
155:
1949:These 15 relations, except the empty one, are
94:
2032:arranged in the same kind of matrix as above.
1865:{\displaystyle \scriptstyle \Leftrightarrow }
1613:{\displaystyle \scriptstyle \Leftrightarrow }
1517:{\displaystyle \scriptstyle \leftrightarrow }
1367:{\displaystyle \scriptstyle \Leftrightarrow }
1339:{\displaystyle \scriptstyle \Leftrightarrow }
1306:{\displaystyle \scriptstyle \Leftrightarrow }
1278:{\displaystyle \scriptstyle \Leftrightarrow }
1019:{\displaystyle \scriptstyle \Leftrightarrow }
400:{\displaystyle \scriptstyle \Leftrightarrow }
14:
46:Size of this PNG preview of this SVG file:
2001:for the red intersections are combined by
2488:The following other wikis use this file:
1055:{\displaystyle \scriptstyle \Rightarrow }
695:{\displaystyle \scriptstyle \Rightarrow }
2521:Benutzer:Bin im Garten/Mathematik/Mengen
983:{\displaystyle \scriptstyle \Leftarrow }
728:{\displaystyle \scriptstyle \Leftarrow }
759:{\displaystyle \scriptstyle \subseteq }
670:{\displaystyle \scriptstyle \supseteq }
430:{\displaystyle \scriptstyle \supseteq }
374:{\displaystyle \scriptstyle \subseteq }
2581:Algèbre des parties d'un ensemble
2531:Formelsammlung Mathematik: Mengenlehre
1971:that there is an element in every red,
2448:The following 6 pages use this file:
2036:In set theory the Venn diagrams tell,
1992:In set theory the Venn diagrams tell,
1969:In set theory the Venn diagrams tell,
1955:The relations in the files below are
125:
2078:
1210:{\displaystyle \scriptstyle \Delta }
898:{\displaystyle \scriptstyle \oplus }
577:{\displaystyle \scriptstyle \Delta }
2192:
1743:{\displaystyle \scriptstyle \land }
1704:{\displaystyle \scriptstyle \land }
1576:{\displaystyle \scriptstyle \land }
1460:{\displaystyle \scriptstyle \land }
13:
2856:
2133:
2127:
2018:
1978:
1941:
1911:
1549:{\displaystyle \scriptstyle \cap }
1491:{\displaystyle \scriptstyle \cap }
1245:{\displaystyle \scriptstyle \cap }
1203:
1175:{\displaystyle \scriptstyle \cap }
935:{\displaystyle \scriptstyle \lor }
861:{\displaystyle \scriptstyle \lor }
635:{\displaystyle \scriptstyle \cup }
604:{\displaystyle \scriptstyle \lor }
570:
545:{\displaystyle \scriptstyle \lor }
519:{\displaystyle \scriptstyle \cup }
333:{\displaystyle \scriptstyle \cup }
297:{\displaystyle \scriptstyle \cup }
151:
126:
76:
2890:
2863:
2408:|Permission= |other_versions= }}
2132:
2473:User:Sedentarycephalopod/sandbox
2118:
2082:
1809:
1788:
1671:
1662:
1645:
1636:
1431:
1422:
1413:
1400:
1391:
1382:
1141:
1132:
1123:
1114:
1105:
1096:
1087:
1078:
825:
816:
807:
794:
785:
776:
485:
476:
459:
450:
259:
238:
93:
31:
21:
2115:
1901:
2746:Predefinição:Logicalconnective
2483:
2196:
2114:
1858:
1606:
1510:
1360:
1332:
1299:
1271:
1048:
1012:
976:
721:
688:
393:
26:
1:
2541:Benutzer:Watchduck/Spielwiese
1907:
181:
36:
2547:Usage on en.wikiversity.org
2537:Usage on de.wikiversity.org
2516:Portal Diskussion:Mathematik
2443:
2140:Items portrayed in this file
7:
2853:
2687:Usage on nds.wikipedia.org
2592:Usage on fr.wiktionary.org
1999:existential quantifications
1963:cases the relation is true.
1924:(This matrix is similar to
10:
2895:
2837:Usage on zh.wikibooks.org
2817:Usage on zh.wikipedia.org
2807:Usage on www.wikidata.org
2792:Usage on uk.wikipedia.org
2782:Usage on th.wikipedia.org
2772:Usage on sv.wikipedia.org
2762:Usage on sr.wikipedia.org
2752:Usage on ru.wikipedia.org
2727:Usage on pt.wikipedia.org
2717:Usage on no.wikipedia.org
2707:Usage on nn.wikipedia.org
2697:Usage on nl.wikipedia.org
2677:Usage on mk.wikipedia.org
2667:Usage on ko.wikipedia.org
2657:Usage on ja.wikibooks.org
2637:Usage on ja.wikipedia.org
2631:Non-disgiunzione inclusiva
2627:Usage on it.wikipedia.org
2612:Usage on he.wikipedia.org
2602:Usage on gl.wikipedia.org
2577:Usage on fr.wikipedia.org
2567:Usage on fa.wikipedia.org
2557:Usage on es.wikipedia.org
2527:Usage on de.wikibooks.org
2512:Usage on de.wikipedia.org
2502:Usage on ca.wikipedia.org
2492:Usage on ar.wikipedia.org
128:
2345:Redrew with a text editor
2193:
1890:
1883:
16:
2229:22:19, 28 September 2024
2117:
100:This is a file from the
41:
2478:User talk:YBG/Archive 6
2437:
2403:
2374:
2344:
2310:
2280:
2250:
1936:which is marked in red.
104:. Information from its
2416:16:04, 22 January 2008
2382:13:30, 26 January 2008
2028:subset and implication
2023:
1983:
1946:
1916:
1866:
1744:
1705:
1614:
1577:
1550:
1518:
1492:
1461:
1368:
1340:
1307:
1279:
1246:
1211:
1176:
1056:
1020:
984:
936:
899:
862:
760:
729:
696:
671:
636:
605:
578:
546:
520:
431:
401:
375:
334:
298:
174:
107:description page there
2846:综合数学/实数与集合/实数和集合的基本运算
2097:and therefore in the
2022:
1982:
1945:
1915:
1867:
1745:
1706:
1615:
1578:
1551:
1519:
1493:
1462:
1369:
1341:
1308:
1280:
1247:
1212:
1177:
1057:
1021:
985:
937:
900:
863:
761:
730:
697:
672:
637:
606:
579:
547:
521:
432:
402:
376:
335:
299:
173:
137:, representing 2-ary
2551:User:Watchduck/Logic
1953:and can be the case.
1854:
1732:
1693:
1602:
1565:
1538:
1506:
1480:
1449:
1356:
1328:
1295:
1267:
1234:
1199:
1164:
1044:
1008:
972:
924:
887:
850:
748:
717:
684:
659:
624:
593:
566:
534:
508:
419:
389:
363:
322:
286:
70:2,560 × 1,886 pixels
2841:综合数学/实数及其运算/集合的基本运算
2691:Koppel (Mathematik)
2353:14:10, 26 July 2009
2323:20:33, 24 July 2023
2289:23:10, 1 March 2024
2259:15:35, 16 July 2024
147:logical connectives
52:Other resolutions:
2801:Таблиця істинності
2681:Заедничка негација
2586:Connecteur logique
2463:Logical connective
2024:
1984:
1947:
1926:this Hasse diagram
1917:
1862:
1861:
1740:
1739:
1701:
1700:
1610:
1609:
1573:
1572:
1546:
1545:
1514:
1513:
1488:
1487:
1457:
1456:
1364:
1363:
1336:
1335:
1303:
1302:
1275:
1274:
1242:
1241:
1207:
1206:
1172:
1171:
1052:
1051:
1016:
1015:
980:
979:
932:
931:
895:
894:
858:
857:
756:
755:
725:
724:
692:
691:
667:
666:
632:
631:
601:
600:
574:
573:
542:
541:
516:
515:
427:
426:
397:
396:
371:
370:
330:
329:
294:
293:
175:
66:1,280 × 943 pixels
62:1,024 × 755 pixels
2882:
2881:
2736:Função de verdade
2484:Global file usage
2441:
2126:
2112:
2111:
2077:
2076:
2054:
2053:
2050:
2049:
2046:
2042:
2015:
1967:
1929:
1897:
1896:
139:Boolean functions
122:
121:
102:Wikimedia Commons
32:Global file usage
2886:
2864:
2786:NOR (ตรรกศาสตร์)
2741:Conectivo lógico
2731:Diagrama de Venn
2561:Conectiva lógica
2506:Diagrama de Venn
2428:
2394:
2365:
2335:
2301:
2271:
2241:
2203:
2124:
2086:
2085:
2079:
2073:
2070:
2067:
2064:
2059:
2058:
2044:
2040:
2009:combined by the
1996:
1965:
1923:
1908:
1899:
1898:
1871:
1869:
1868:
1863:
1813:
1792:
1749:
1747:
1746:
1741:
1710:
1708:
1707:
1702:
1675:
1666:
1649:
1640:
1619:
1617:
1616:
1611:
1582:
1580:
1579:
1574:
1555:
1553:
1552:
1547:
1523:
1521:
1520:
1515:
1497:
1495:
1494:
1489:
1466:
1464:
1463:
1458:
1435:
1426:
1417:
1404:
1395:
1386:
1373:
1371:
1370:
1365:
1345:
1343:
1342:
1337:
1312:
1310:
1309:
1304:
1284:
1282:
1281:
1276:
1251:
1249:
1248:
1243:
1216:
1214:
1213:
1208:
1181:
1179:
1178:
1173:
1145:
1136:
1127:
1118:
1109:
1100:
1091:
1082:
1061:
1059:
1058:
1053:
1025:
1023:
1022:
1017:
989:
987:
986:
981:
941:
939:
938:
933:
904:
902:
901:
896:
867:
865:
864:
859:
829:
820:
811:
798:
789:
780:
765:
763:
762:
757:
734:
732:
731:
726:
701:
699:
698:
693:
676:
674:
673:
668:
641:
639:
638:
633:
610:
608:
607:
602:
583:
581:
580:
575:
551:
549:
548:
543:
525:
523:
522:
517:
489:
480:
463:
454:
436:
434:
433:
428:
406:
404:
403:
398:
380:
378:
377:
372:
339:
337:
336:
331:
303:
301:
300:
295:
263:
242:
182:
154:
118:
97:
96:
90:
84:
73:
58:640 × 472 pixels
54:320 × 236 pixels
48:380 × 280 pixels
2894:
2893:
2889:
2888:
2887:
2885:
2884:
2883:
2852:
2482:
2442:
2434:
2426:
2400:
2392:
2371:
2363:
2341:
2340:SVG-image-maker
2333:
2307:
2299:
2277:
2269:
2247:
2239:
2195:
2194:
2191:
2190:
2189:
2188:
2187:
2186:
2185:
2184:
2182:
2172:
2171:
2170:
2168:
2153:
2152:
2151:
2150:
2149:
2147:
2131:
2130:
2129:
2092:ineligible for
2083:
2071:
2068:
2065:
2062:
2026:Relations like
1902:more relations
1855:
1852:
1851:
1769:
1733:
1730:
1729:
1723:
1718:
1694:
1691:
1690:
1603:
1600:
1599:
1566:
1563:
1562:
1539:
1536:
1535:
1531:
1507:
1504:
1503:
1481:
1478:
1477:
1474:
1450:
1447:
1446:
1357:
1354:
1353:
1329:
1326:
1325:
1319:
1296:
1293:
1292:
1268:
1265:
1264:
1235:
1232:
1231:
1228:
1200:
1197:
1196:
1193:
1165:
1162:
1161:
1158:
1073:
1068:
1045:
1042:
1041:
1037:
1032:
1009:
1006:
1005:
1001:
996:
973:
970:
969:
965:
960:
949:
925:
922:
921:
912:
888:
885:
884:
875:
851:
848:
847:
838:
749:
746:
745:
741:
718:
715:
714:
710:A = B
708:
685:
682:
681:
660:
657:
656:
653:
625:
622:
621:
618:
594:
591:
590:
567:
564:
563:
559:
535:
532:
531:
509:
506:
505:
502:
420:
417:
416:
413:
390:
387:
386:
364:
361:
360:
356:
323:
320:
319:
315:
287:
284:
283:
280:
219:
198:
193:
180:
172:
152:
131:
124:
123:
112:
111:
110:is shown below.
86:
82:
75:
74:
51:
12:
11:
5:
2892:
2880:
2879:
2876:
2872:
2871:
2868:
2855:
2851:
2850:
2849:
2848:
2843:
2835:
2834:
2833:
2828:
2823:
2815:
2814:
2813:
2805:
2804:
2803:
2798:
2790:
2789:
2788:
2780:
2779:
2778:
2770:
2769:
2768:
2760:
2759:
2758:
2750:
2749:
2748:
2743:
2738:
2733:
2725:
2724:
2723:
2715:
2714:
2713:
2705:
2704:
2703:
2695:
2694:
2693:
2685:
2684:
2683:
2675:
2674:
2673:
2665:
2664:
2663:
2655:
2654:
2653:
2648:
2643:
2635:
2634:
2633:
2625:
2624:
2623:
2618:
2610:
2609:
2608:
2600:
2599:
2598:
2590:
2589:
2588:
2583:
2575:
2574:
2573:
2565:
2564:
2563:
2555:
2554:
2553:
2545:
2544:
2543:
2535:
2534:
2533:
2525:
2524:
2523:
2518:
2510:
2509:
2508:
2500:
2499:
2498:
2485:
2481:
2480:
2475:
2470:
2468:Truth function
2465:
2460:
2455:
2453:If and only if
2445:
2440:
2439:
2436:
2432:
2429:
2423:
2418:
2413:
2410:
2409:
2402:
2398:
2395:
2389:
2384:
2379:
2376:
2375:
2373:
2369:
2366:
2360:
2355:
2350:
2347:
2346:
2343:
2339:
2336:
2330:
2325:
2320:
2317:
2316:
2309:
2305:
2302:
2296:
2291:
2286:
2283:
2282:
2279:
2275:
2272:
2266:
2261:
2256:
2253:
2252:
2249:
2245:
2242:
2236:
2231:
2226:
2222:
2221:
2218:
2215:
2212:
2209:
2206:
2198:
2183:
2180:
2178:
2177:
2176:
2174:
2173:
2169:
2164:
2162:
2161:
2160:
2159:
2157:
2148:
2143:
2141:
2138:
2137:
2136:
2135:
2123:
2122:
2119:
2116:
2110:
2109:
2087:
2075:
2074:
2052:
2051:
2048:
2047:
2016:
1975:
1974:
1939:
1904:
1903:
1895:
1894:
1889:
1887:
1881:
1880:
1878:
1876:
1874:
1860:
1848:
1846:
1844:
1842:
1840:
1838:
1836:
1834:
1828:
1826:
1824:
1821:
1820:
1818:
1816:
1814:
1807:
1805:
1803:
1801:
1799:
1797:
1795:
1793:
1786:
1784:
1782:
1779:
1778:
1776:
1774:
1772:
1767:
1765:
1763:
1761:
1759:
1757:
1755:
1753:
1738:
1725:
1721:
1716:
1714:
1699:
1686:
1684:
1681:
1680:
1678:
1676:
1669:
1667:
1660:
1658:
1656:
1654:
1652:
1650:
1643:
1641:
1634:
1632:
1629:
1628:
1626:
1624:
1622:
1608:
1596:
1594:
1592:
1590:
1588:
1586:
1571:
1558:
1544:
1529:
1527:
1512:
1499:
1486:
1472:
1470:
1455:
1442:
1439:
1438:
1436:
1429:
1427:
1420:
1418:
1411:
1409:
1407:
1405:
1398:
1396:
1389:
1387:
1380:
1377:
1376:
1362:
1350:
1348:
1334:
1322:
1317:
1315:
1301:
1289:
1287:
1273:
1261:
1259:
1253:
1240:
1226:
1224:
1218:
1205:
1191:
1189:
1183:
1170:
1156:
1154:
1147:
1146:
1139:
1137:
1130:
1128:
1121:
1119:
1112:
1110:
1103:
1101:
1094:
1092:
1085:
1083:
1075:
1074:
1071:
1066:
1064:
1050:
1038:
1035:
1030:
1028:
1014:
1002:
999:
994:
992:
978:
966:
963:
958:
956:
954:
947:
945:
930:
917:
910:
908:
893:
880:
873:
871:
856:
843:
836:
833:
832:
830:
823:
821:
814:
812:
805:
803:
801:
799:
792:
790:
783:
781:
774:
771:
770:
768:
754:
739:
737:
723:
711:
706:
704:
690:
678:
665:
651:
649:
647:
645:
643:
630:
616:
614:
599:
586:
572:
557:
555:
540:
527:
514:
500:
498:
495:
494:
492:
490:
483:
481:
474:
472:
470:
468:
466:
464:
457:
455:
448:
446:
443:
442:
440:
438:
425:
411:
409:
395:
383:
369:
354:
352:
350:
348:
346:
344:
342:
328:
313:
311:
305:
292:
278:
276:
274:
271:
270:
268:
266:
264:
257:
255:
253:
251:
249:
247:
245:
243:
236:
234:
232:
229:
228:
226:
224:
222:
217:
215:
213:
211:
209:
206:
204:
202:
200:
196:
191:
189:
187:
185:
179:
176:
143:set operations
130:
127:
120:
119:
98:
88:
87:
45:
40:
39:
34:
29:
24:
19:
9:
6:
4:
3:
2:
2891:
2877:
2874:
2873:
2869:
2866:
2865:
2862:
2859:
2847:
2844:
2842:
2839:
2838:
2836:
2832:
2829:
2827:
2824:
2822:
2819:
2818:
2816:
2812:
2809:
2808:
2806:
2802:
2799:
2797:
2796:Стрілка Пірса
2794:
2793:
2791:
2787:
2784:
2783:
2781:
2777:
2774:
2773:
2771:
2767:
2764:
2763:
2761:
2757:
2756:Стрелка Пирса
2754:
2753:
2751:
2747:
2744:
2742:
2739:
2737:
2734:
2732:
2729:
2728:
2726:
2722:
2719:
2718:
2716:
2712:
2709:
2708:
2706:
2702:
2699:
2698:
2696:
2692:
2689:
2688:
2686:
2682:
2679:
2678:
2676:
2672:
2669:
2668:
2666:
2662:
2661:ロジバン/統語論/接続表現
2659:
2658:
2656:
2652:
2649:
2647:
2644:
2642:
2639:
2638:
2636:
2632:
2629:
2628:
2626:
2622:
2621:כללי דה מורגן
2619:
2617:
2614:
2613:
2611:
2607:
2604:
2603:
2601:
2597:
2594:
2593:
2591:
2587:
2584:
2582:
2579:
2578:
2576:
2572:
2569:
2568:
2566:
2562:
2559:
2558:
2556:
2552:
2549:
2548:
2546:
2542:
2539:
2538:
2536:
2532:
2529:
2528:
2526:
2522:
2519:
2517:
2514:
2513:
2511:
2507:
2504:
2503:
2501:
2497:
2494:
2493:
2491:
2490:
2489:
2479:
2476:
2474:
2471:
2469:
2466:
2464:
2461:
2459:
2456:
2454:
2451:
2450:
2449:
2435:
2430:
2424:
2422:
2419:
2417:
2414:
2412:
2411:
2407:
2401:
2396:
2390:
2388:
2385:
2383:
2380:
2378:
2377:
2372:
2367:
2361:
2359:
2356:
2354:
2351:
2349:
2348:
2342:
2337:
2331:
2329:
2326:
2324:
2321:
2319:
2318:
2314:
2308:
2303:
2297:
2295:
2292:
2290:
2287:
2285:
2284:
2278:
2273:
2267:
2265:
2262:
2260:
2257:
2255:
2254:
2248:
2243:
2237:
2235:
2232:
2230:
2227:
2224:
2223:
2219:
2216:
2213:
2210:
2207:
2205:
2204:
2202:
2181:image/svg+xml
2179:
2167:
2163:
2146:
2142:
2139:
2120:
2113:
2108:
2106:
2102:
2101:
2100:public domain
2096:
2095:
2090:This work is
2088:
2081:
2080:
2066:Public domain
2063:Public domain
2061:
2060:
2057:
2056:
2043:
2039:
2037:
2035:
2033:
2031:
2029:
2025:
2021:
2017:
2013:
2012:
2006:
2004:
2000:
1995:
1993:
1991:
1989:
1987:
1985:
1981:
1977:
1976:
1972:
1970:
1968:
1964:
1962:
1958:
1954:
1952:
1948:
1944:
1940:
1937:
1935:
1933:
1931:
1927:
1922:
1920:
1918:
1914:
1910:
1909:
1906:
1905:
1900:
1892:
1888:
1885:
1882:
1879:
1877:
1875:
1873:
1849:
1847:
1845:
1843:
1841:
1839:
1837:
1835:
1833:
1832:
1829:
1827:
1825:
1823:
1822:
1819:
1817:
1815:
1812:
1808:
1806:
1804:
1802:
1800:
1798:
1796:
1794:
1791:
1787:
1785:
1783:
1781:
1780:
1777:
1775:
1773:
1770:
1766:
1764:
1762:
1760:
1758:
1756:
1754:
1752:
1751:
1736:
1726:
1724:
1719:
1715:
1713:
1712:
1697:
1687:
1685:
1683:
1682:
1679:
1677:
1674:
1670:
1668:
1665:
1661:
1659:
1657:
1655:
1653:
1651:
1648:
1644:
1642:
1639:
1635:
1633:
1631:
1630:
1627:
1625:
1623:
1621:
1597:
1595:
1593:
1591:
1589:
1587:
1585:
1584:
1569:
1559:
1557:
1542:
1532:
1528:
1526:
1525:
1500:
1484:
1475:
1471:
1469:
1468:
1453:
1443:
1441:
1440:
1437:
1434:
1430:
1428:
1425:
1421:
1419:
1416:
1412:
1410:
1408:
1406:
1403:
1399:
1397:
1394:
1390:
1388:
1385:
1381:
1379:
1378:
1375:
1351:
1349:
1347:
1323:
1320:
1316:
1314:
1290:
1288:
1286:
1262:
1260:
1258:
1257:
1254:
1238:
1229:
1225:
1223:
1222:
1219:
1194:
1190:
1188:
1187:
1184:
1168:
1159:
1155:
1153:
1152:
1149:
1148:
1144:
1140:
1138:
1135:
1131:
1129:
1126:
1122:
1120:
1117:
1113:
1111:
1108:
1104:
1102:
1099:
1095:
1093:
1090:
1086:
1084:
1081:
1077:
1076:
1069:
1065:
1063:
1039:
1033:
1029:
1027:
1003:
997:
993:
991:
967:
961:
957:
955:
953:
950:
946:
944:
943:
928:
918:
916:
913:
909:
907:
906:
891:
881:
879:
876:
872:
870:
869:
854:
844:
842:
839:
835:
834:
831:
828:
824:
822:
819:
815:
813:
810:
806:
804:
802:
800:
797:
793:
791:
788:
784:
782:
779:
775:
773:
772:
769:
767:
752:
742:
738:
736:
712:
709:
705:
703:
679:
663:
654:
650:
648:
646:
644:
628:
619:
615:
613:
612:
597:
587:
585:
560:
556:
554:
553:
538:
528:
512:
503:
499:
497:
496:
493:
491:
488:
484:
482:
479:
475:
473:
471:
469:
467:
465:
462:
458:
456:
453:
449:
447:
445:
444:
441:
439:
423:
414:
410:
408:
384:
382:
367:
357:
353:
351:
349:
347:
345:
343:
341:
326:
316:
312:
310:
309:
306:
290:
281:
277:
275:
273:
272:
269:
267:
265:
262:
258:
256:
254:
252:
250:
248:
246:
244:
241:
237:
235:
233:
231:
230:
227:
225:
223:
220:
216:
214:
212:
210:
207:
205:
203:
201:
199:
194:
190:
188:
186:
184:
183:
150:
148:
144:
140:
136:
135:Venn diagrams
116:
109:
108:
103:
99:
92:
91:
85:
80:
79:Original file
71:
67:
63:
59:
55:
49:
44:
38:
35:
33:
30:
28:
25:
23:
20:
18:
15:
2860:
2857:
2766:Логичко НИЛИ
2721:Venn-diagram
2711:Venn-diagram
2701:Logische nor
2496:بوابة نفي أو
2487:
2447:
2406:Tilman Piesk
2200:
2197:File history
2098:
2091:
2089:
2055:
2011:exclusive or
2010:
2007:They can be
2002:
1960:
1957:disjunctions
132:
115:You can help
105:
77:
22:File history
2458:Logical NOR
2334:(352 bytes)
2300:(351 bytes)
2270:(614 bytes)
2240:(351 bytes)
2606:Se e só se
2444:File usage
2425:615 × 463
2391:615 × 463
2362:384 × 280
2332:380 × 280
2298:380 × 280
2268:400 × 300
2238:380 × 280
2214:Dimensions
2166:media type
2156:media type
133:One of 16
27:File usage
2433:Watchduck
2399:Watchduck
2370:Watchduck
2313:Pywikibot
2306:Watchduck
2281:Valid SVG
2276:Antonsusi
2246:Watchduck
2211:Thumbnail
2208:Date/Time
2094:copyright
2014:as well.)
2854:Metadata
2616:NOR לוגי
2121:Captions
1951:minterms
1711: ¬B
1689:¬A
1561:¬A
1467: ¬B
1217: B)
1195:(A
920:¬A
868: ¬B
552: ¬B
530:¬A
37:Metadata
2811:Q574946
2571:نقیض یا
2225:current
2220:Comment
2145:depicts
2125:English
1750: B
1728:A
1583: B
1556: B
1534:A
1524: B
1502:A
1498: B
1476:A
1445:A
1252: B
1230:A
1182: B
1160:A
942: B
905: B
883:A
846:A
611: B
589:A
584: B
562:A
526: B
504:A
437: B
415:A
381: B
359:A
340: B
318:A
304: B
282:A
129:Summary
81:
2875:Height
2596:NON-OU
2427:(4 KB)
2393:(4 KB)
2364:(3 KB)
2045:
2041:
2034:
1990:
1938:
1932:
1930:
1768:
1717:
1530:
1473:
1318:
1227:
1192:
1157:
1067:
1031:
995:
959:
948:
911:
874:
837:
740:
707:
652:
617:
558:
501:
412:
355:
314:
279:
218:
192:
2867:Width
2821:逻辑运算符
2671:부정논리합
2651:否定論理和
2072:false
2069:false
1997:(The
1961:these
1831:false
1771:A = A
1346:false
1321:A = B
1285:false
221:A = A
141:like
2831:逻辑或非
2826:布尔代数
2641:論理演算
2217:User
1374:true
1313:true
1070:B =
1034:A =
998:A =
962:B =
308:true
145:and
17:File
2878:280
2870:380
2776:NOR
2646:ベン図
2003:or
1928:.)
1872:¬A
1859:⇔
1737:∧
1698:∧
1607:⇔
1570:∧
1543:∩
1511:↔
1485:∩
1454:∧
1361:⇔
1333:⇔
1300:⇔
1272:⇔
1239:∩
1221:¬A
1204:Δ
1169:∩
1151:¬B
1049:⇒
1026:¬B
1013:⇔
977:⇐
929:∨
892:⊕
855:∨
753:⊆
744:A
735:¬B
722:⇐
702:¬B
689:⇒
664:⊇
655:A
629:∪
620:A
598:∨
571:Δ
539:∨
513:∪
424:⊇
394:⇔
368:⊆
327:∪
291:∪
149::
68:|
64:|
60:|
56:|
50:.
2315:)
2107:.
2030:,
2005:.
1850:A
1722:∅
1620:B
1598:A
1352:B
1324:A
1291:A
1263:B
1256:B
1186:A
1072:∅
1062:B
1040:A
1036:∅
1004:A
1000:∅
990:B
968:A
964:∅
952:B
915:A
878:A
841:B
766:B
713:A
680:A
677:B
642:B
407:A
385:A
197:∅
117:.
72:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.