16 kontakty: Algebra Boole’a, Binegacja, Bramka logiczna, CMOS, Dysjunkcja (Sheffera), Funkcja boolowska, Implikacja logiczna, Koniunkcja (logika), Negacja, Pamięć flash, Prawa De Morgana, Prawa rachunku zdań, Rachunek zdań, Równoważność, Tablica prawdy, Transistor-transistor logic.
Algebra Boole’a
Diagram Hassego dla algebry Boole’a podzbiorów zbioru trójelementowego Diagramy Venna dla operatorów algebry Boole’a Algebra Boole’a – pewien typ struktury algebraicznej, rodzaj algebry ogólnej stosowany w matematyce, informatyce teoretycznej oraz elektronice cyfrowej.
Nowy!!: Bramka NAND i Algebra Boole’a · Zobacz więcej »
Binegacja
Bramka NOR – jeden z funktorów zdaniowych rachunku zdań; dwuargumentowa funkcja boolowska (funktor logiczny) realizująca zaprzeczonąsumę logiczną(NOT OR) – jest prawdziwa wtedy i tylko wtedy, gdy oba składniki sąfałszywe.
Nowy!!: Bramka NAND i Binegacja · Zobacz więcej »
Bramka logiczna
247x247px 200x200px 280x280px Bramka logiczna – element konstrukcyjny maszyn i mechanizmów (dziś zazwyczaj: układ scalony, choć podobne funkcje można zrealizować również za pomocąinnych rozwiązań technicznych, np. hydrauliki czy pneumatyki), realizujący fizycznie pewnąprostąfunkcję logiczną, której argumenty (zmienne logiczne) oraz sama funkcja mogąprzybierać jednąz dwóch wartości, np.
Nowy!!: Bramka NAND i Bramka logiczna · Zobacz więcej »
CMOS
Bramka logiczna NAND w technologii CMOS Bramka logiczna NOR w technologii CMOS CMOS (ang. Complementary Metal-Oxide-Semiconductor) – technologia wytwarzania układów scalonych, głównie cyfrowych, składających się z tranzystorów MOS o przeciwnym typie przewodnictwa i połączonych w taki sposób, że w ustalonym stanie logicznym przewodzi tylko jeden z nich.
Nowy!!: Bramka NAND i CMOS · Zobacz więcej »
Dysjunkcja (Sheffera)
Dysjunkcja, dyzjunkcjaWiktor Marek, Janusz Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, Wydawnictwo Naukowe PWN, Warszawa 2012,, s. 8.
Nowy!!: Bramka NAND i Dysjunkcja (Sheffera) · Zobacz więcej »
Funkcja boolowska
Funkcja boolowska (funkcja logiczna) – dowolne odwzorowanie f\colon X \to Y, gdzie B.
Nowy!!: Bramka NAND i Funkcja boolowska · Zobacz więcej »
Implikacja logiczna
Implikacja logiczna (wynikanie) – relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) T i B jest spełniona, gdy każdy model teorii T jest także modelem teorii B. Często jest mylona z implikacjąmaterialną, będącąszczególnym przypadkiem zdania.
Nowy!!: Bramka NAND i Implikacja logiczna · Zobacz więcej »
Koniunkcja (logika)
Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q sązdaniami.
Nowy!!: Bramka NAND i Koniunkcja (logika) · Zobacz więcej »
Negacja
Negacja (z łac. negatio), zaprzeczenie – pojęcie logiki i językoznawstwa o kilku znaczeniach.
Nowy!!: Bramka NAND i Negacja · Zobacz więcej »
Pamięć flash
Dysk półprzewodnikowy z pamięciąflash Pamięć flash (ang. flash memory) – rodzaj pamięci komputerowej (półprzewodnikowej, nieulotnej) stanowiącej rozwinięcie konstrukcyjne i kontynuację pamięci typu EEPROM.
Nowy!!: Bramka NAND i Pamięć flash · Zobacz więcej »
Prawa De Morgana
Prawa De Morgana – zestaw reguł w logice matematycznej i teorii mnogości wiążących ze sobąpary spójników, kwantyfikatorów lub działań na zbiorach za pomocąnegacji lub funkcji dopełnienia zbioru.
Nowy!!: Bramka NAND i Prawa De Morgana · Zobacz więcej »
Prawa rachunku zdań
Bez opisu.
Nowy!!: Bramka NAND i Prawa rachunku zdań · Zobacz więcej »
Rachunek zdań
Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocąfunktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych.
Nowy!!: Bramka NAND i Rachunek zdań · Zobacz więcej »
Równoważność
Równoważność (lub: ekwiwalencja) – twierdzenie, w którym teza jest warunkiem koniecznym, jak i dostatecznym przesłanki.
Nowy!!: Bramka NAND i Równoważność · Zobacz więcej »
Tablica prawdy
Tablica prawdy lub matryca logiczna – wprowadzony w XIX wieku przez logików amerykańskich, Charlesa Sandersa Peirce’a i Emila Leona Posta, układ tabelaryczny zero-jedynkowych kombinacji wartości logicznych argumentów danej funkcji zdaniowej i dokładnie zależących od nich wartości logicznych tejże funkcji zdaniowej, w którym prawdzie odpowiada wartość 1, a fałszowi przypisuje się wartość 0.
Nowy!!: Bramka NAND i Tablica prawdy · Zobacz więcej »
Transistor-transistor logic
250px Transistor-transistor logic, TTL (logika tranzystorowo-tranzystorowa) – klasa cyfrowych układów scalonych zapoczątkowana przez Jamesa L. Buie'a z TRW Inc.
Nowy!!: Bramka NAND i Transistor-transistor logic · Zobacz więcej »