Knowledge

File:Venn1000.svg

Source 📝

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:.

Index

File
File history
File usage
Global file usage
Metadata
File:Venn1000.svg
380 × 280 pixels
320 × 236 pixels
640 × 472 pixels
1,024 × 755 pixels
1,280 × 943 pixels
2,560 × 1,886 pixels
Original file
Wikimedia Commons
description page there
You can help
Venn diagrams
Boolean functions
set operations
logical connectives

1111
1111
true
{\displaystyle \scriptstyle \cup }  B
{\displaystyle \scriptstyle \subseteq }  B
1110
0111
1110
0111

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.