Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Frei
Schneller Zugriff als Browser!
 

Logische Verknüpfung

Index Logische Verknüpfung

Eine Logische Verknüpfung ist eine Operation der Booleschen Algebra.

46 Beziehungen: Analogismus, Aussage (Logik), Aussagenlogik, Auswertung (Informatik), Boolesche Algebra, C (Programmiersprache), C++, C-Sharp, Definitionsmenge, Digitaltechnik, Disjunktion, Disjunktive Normalform, Dreiwertige Logik, Einstellige Verknüpfung, Euronorm, Fuzzylogik, Höhere Programmiersprache, Implikation, Java (Programmiersprache), Junktor, Karnaugh-Veitch-Diagramm, Konjunktion (Logik), Konjunktive Normalform, Kontravalenz, Kurzschlussauswertung, Logikgatter, Logische Äquivalenz, Logischer Operator, Mehrwertige Logik, Negation, NOR-Gatter, Normalform, PHP, Prinzip der Zweiwertigkeit, Schaltalgebra, Schlüsselwort (Programmierung), Shefferscher Strich, Symbol, Verknüpfung (Mathematik), Visual Basic .NET, Volladdierer, Wahrheitstabelle, Wahrheitswert, Zielmenge, Zweistellige Verknüpfung, 1-aus-n-Decoder.

Analogismus

Der Analogismus oder Analogieschluss ist eine Schlussfolgerung aufgrund der Analogie zwischen zwei Objekten nach dem Muster: A hat Ähnlichkeit mit B. B hat die Eigenschaft C. Also hat auch A die Eigenschaft C. Objekte können dabei Wesen, Dinge oder Phänomene sein, die Ähnlichkeit kann in anderen Eigenschaften, Symptomen, Strukturen, Relationen und Funktionen bestehen.

Neu!!: Logische Verknüpfung und Analogismus · Mehr sehen »

Aussage (Logik)

Eine Aussage im Sinn der aristotelischen Logik ist ein sprachliches Gebilde, von dem es sinnvoll ist, zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip).

Neu!!: Logische Verknüpfung und Aussage (Logik) · Mehr sehen »

Aussagenlogik

Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.

Neu!!: Logische Verknüpfung und Aussagenlogik · Mehr sehen »

Auswertung (Informatik)

Auswertung (engl. evaluation als Beschreibung, Analyse und Bewertung) bezeichnet in der Informatik den Vorgang, der einem Ausdruck (eventuell in einem gegebenen Kontext von Variablenbindungen) einen Wert zuordnet.

Neu!!: Logische Verknüpfung und Auswertung (Informatik) · Mehr sehen »

Boolesche Algebra

Venn-Diagramme für Konjunktion, Disjunktion und Ergänzung In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen Durchschnitt, Vereinigung, Komplement verallgemeinert.

Neu!!: Logische Verknüpfung und Boolesche Algebra · Mehr sehen »

C (Programmiersprache)

C ist eine imperative und prozedurale Programmiersprache, die der Informatiker Dennis Ritchie in den frühen 1970er Jahren an den Bell Laboratories entwickelte.

Neu!!: Logische Verknüpfung und C (Programmiersprache) · Mehr sehen »

C++

C++ ist eine von der ISO genormte Programmiersprache.

Neu!!: Logische Verknüpfung und C++ · Mehr sehen »

C-Sharp

C# (englisch c sharp) ist eine typsichere objektorientierte Allzweck-Programmiersprache.

Neu!!: Logische Verknüpfung und C-Sharp · Mehr sehen »

Definitionsmenge

Die Definitionsmenge dieser Funktion X → Y ist '''1, 2, 3''', in diesem Falle die ganze Grundmenge '''X'''. In der Mathematik versteht man unter Definitionsmenge oder Definitionsbereich die Menge mit genau den Elementen, unter denen (je nach Zusammenhang) die Funktion definiert bzw.

Neu!!: Logische Verknüpfung und Definitionsmenge · Mehr sehen »

Digitaltechnik

Analoges Signal – digital abgetastet Die Digitaltechnik ist ein Teilgebiet der technischen Informatik und der Elektronik und befasst sich mit digitalen Schaltungen.

Neu!!: Logische Verknüpfung und Digitaltechnik · Mehr sehen »

Disjunktion

Vereinigung von Mengen wird über die (nicht-ausschließende) Disjunktion definiert. OR-Gatter: Wenn Taster E1 '''oder''' E2 betätigt wird, leuchtet die Lampe. Dieses logische Oder umfasst auch den Fall, dass beide zugleich gedrückt werden. Disjunktion („Oder-Verknüpfung“, von lat. disiungere „trennen, unterscheiden, nicht vermengen“) und Adjunktion (von lat. adiungere, „anfügen, verbinden“) sind in der Logik die Bezeichnungen für zwei Typen von Aussagen, bei denen je zwei Aussagesätze durch ein ausschließendes oder oder durch ein nichtausschließendes oder verbunden sind.

Neu!!: Logische Verknüpfung und Disjunktion · Mehr sehen »

Disjunktive Normalform

Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet.

Neu!!: Logische Verknüpfung und Disjunktive Normalform · Mehr sehen »

Dreiwertige Logik

Dreiwertige Logiken (auch: ternäre Logiken) sind Beispiele für mehrwertige Logiken, also für nichtklassische Logiken, die sich von der klassischen Logik dadurch unterscheiden, dass das Prinzip der Zweiwertigkeit aufgegeben wird.

Neu!!: Logische Verknüpfung und Dreiwertige Logik · Mehr sehen »

Einstellige Verknüpfung

Eine einstellige Verknüpfung (auch unäre oder monadische Verknüpfung) ist in der Mathematik eine Verknüpfung mit nur einem Operanden.

Neu!!: Logische Verknüpfung und Einstellige Verknüpfung · Mehr sehen »

Euronorm

Die Euronormen – nur etwa 100 Stück – wurden seit den 1950er Jahren von der Europäischen Gemeinschaft für Kohle und Stahl herausgegeben, um den Warenverkehr zwischen den 6 Mitgliedstaaten zu regeln.

Neu!!: Logische Verknüpfung und Euronorm · Mehr sehen »

Fuzzylogik

Fuzzylogik einer Temperaturregelung Fuzzylogik (‚verwischt‘, ‚verschwommen‘, ‚unbestimmt‘; fuzzy logic, fuzzy theory ‚unscharfe Logik‘ bzw. ‚unscharfe Theorie‘) oder Unschärfelogik ist eine Theorie, welche in der Mustererkennung zur „präzisen Erfassung des Unpräzisen“ (Zadeh) entwickelt wurde, sodann der Modellierung von Unschärfe von umgangssprachlichen Beschreibungen von Systemen dienen sollte, heute aber überwiegend in angewandten Bereichen wie etwa der Regelungstechnik eine Rolle spielt.

Neu!!: Logische Verknüpfung und Fuzzylogik · Mehr sehen »

Höhere Programmiersprache

Eine höhere Programmiersprache ist eine Programmiersprache zur Abfassung eines Computerprogramms, die in Abstraktion und Komplexität von der Ebene der Maschinensprachen deutlich entfernt ist.

Neu!!: Logische Verknüpfung und Höhere Programmiersprache · Mehr sehen »

Implikation

Die Bezeichnung Implikation (von; Verb: implizieren; Adjektiv: implizit) wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet; insbesondere werden unterschieden.

Neu!!: Logische Verknüpfung und Implikation · Mehr sehen »

Java (Programmiersprache)

Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.

Neu!!: Logische Verknüpfung und Java (Programmiersprache) · Mehr sehen »

Junktor

Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator.

Neu!!: Logische Verknüpfung und Junktor · Mehr sehen »

Karnaugh-Veitch-Diagramm

Bild 1-1: Karnaugh-Veitch-Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD.

Neu!!: Logische Verknüpfung und Karnaugh-Veitch-Diagramm · Mehr sehen »

Konjunktion (Logik)

Schnitt von Mengen wird über die Konjunktion definiert AND-Gatter: Wenn die Taster E1 '''und''' E2 betätigt werden, leuchtet die Lampe. In der Logik wird als Konjunktion (von ‚verbinden‘) oder auch Und-Verknüpfung eine bestimmte Verknüpfung zweier Aussagen oder Aussagefunktionen bezeichnet.

Neu!!: Logische Verknüpfung und Konjunktion (Logik) · Mehr sehen »

Konjunktive Normalform

Als konjunktive Normalform (kurz KNF, für conjunctive normal form) wird in der Aussagenlogik eine bestimmte Form von Formeln bezeichnet.

Neu!!: Logische Verknüpfung und Konjunktive Normalform · Mehr sehen »

Kontravalenz

Vereinigung mit ausgeschlossenem Schnitt. Kontravalenz bezeichnet in der klassischen Logik und Mathematik die Verbindung zweier Aussagen durch den zweistelligen Junktor entweder – oder, der auch exklusives Oder oder Kontravalentor heißt.

Neu!!: Logische Verknüpfung und Kontravalenz · Mehr sehen »

Kurzschlussauswertung

Kurzschlussauswertung (auch bedingte Auswertung, englisch short-circuit evaluation) ist ein Begriff aus der Informatik und bezeichnet eine Strategie der Auswertung von booleschen Ausdrücken.

Neu!!: Logische Verknüpfung und Kurzschlussauswertung · Mehr sehen »

Logikgatter

Ein Logikgatter, auch nur Gatter, (engl. (logic) gate) ist eine Anordnung (heutzutage praktisch immer eine elektronische Schaltung) zur Realisierung einer booleschen Funktion, die binäre Eingangssignale zu einem binären Ausgangssignal verarbeitet.

Neu!!: Logische Verknüpfung und Logikgatter · Mehr sehen »

Logische Äquivalenz

Eine logische Äquivalenz liegt vor, wenn zwei logische Ausdrücke den gleichen Wahrheitswert besitzen.

Neu!!: Logische Verknüpfung und Logische Äquivalenz · Mehr sehen »

Logischer Operator

Ein Logischer Operator ist eine Funktion, die einen Wahrheitswert liefert.

Neu!!: Logische Verknüpfung und Logischer Operator · Mehr sehen »

Mehrwertige Logik

Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden.

Neu!!: Logische Verknüpfung und Mehrwertige Logik · Mehr sehen »

Negation

Negation (von) ist Ablehnung, Verneinung oder Aufhebung; verneint werden können zum Beispiel Aussagen, abgelehnt werden können zum Beispiel moralische Werte, aufgehoben werden können zum Beispiel Konventionen.

Neu!!: Logische Verknüpfung und Negation · Mehr sehen »

NOR-Gatter

Ein NOR-Gatter (von englisch: not or – nicht oder, oder von englisch nor – (weder … noch …)), auch Peirce-Funktion nach Charles S. Peirce genannt, ist ein Logikgatter mit zwei oder mehr Eingängen A, B, … und einem Ausgang Y, zwischen denen die logische Verknüpfung NICHT ODER besteht.

Neu!!: Logische Verknüpfung und NOR-Gatter · Mehr sehen »

Normalform

Eine Normalform (auch kanonische Form) ist eine mathematische Darstellung mit bestimmten von der Art der Normalform vorgegebenen Eigenschaften.

Neu!!: Logische Verknüpfung und Normalform · Mehr sehen »

PHP

PHP (rekursives Akronym und Backronym für „PHP: '''H'''ypertext '''P'''reprocessor“, ursprünglich „Personal '''H'''ome '''P'''age Tools“) ist eine Skriptsprache mit einer an C und Perl angelehnten Syntax, die hauptsächlich zur Erstellung dynamischer Webseiten oder Webanwendungen verwendet wird.

Neu!!: Logische Verknüpfung und PHP · Mehr sehen »

Prinzip der Zweiwertigkeit

Das Prinzip der Zweiwertigkeit, auch Bivalenzprinzip genannt, ist die Eigenschaft einer Logik, dass semantisch jeder Formel genau einer von zwei Wahrheitswerten zugewiesen wird.

Neu!!: Logische Verknüpfung und Prinzip der Zweiwertigkeit · Mehr sehen »

Schaltalgebra

Die Schaltalgebra ist eine spezielle Ausprägung der Booleschen Algebra mit einer zweiwertigen Trägermenge.

Neu!!: Logische Verknüpfung und Schaltalgebra · Mehr sehen »

Schlüsselwort (Programmierung)

Der Begriff Schlüsselwort (englisch keyword) oder reserviertes Wort bezeichnet in einer Programmiersprache ein Wort (englisch token), das eine durch die Definition dieser Programmiersprache bestimmte Bedeutung hat, und nicht als Name von Variablen oder Funktionen verwendet werden darf.

Neu!!: Logische Verknüpfung und Schlüsselwort (Programmierung) · Mehr sehen »

Shefferscher Strich

''und''.Im rot markierten Bereich ist die Funktion wahr, also genau da, wo ''und'' falsch ist. Der Sheffersche Strich (auch Sheffer-Strich, Sheffer-Funktion, Sheffer-Operator oder; nach Henry Maurice Sheffer benannt) bzw.

Neu!!: Logische Verknüpfung und Shefferscher Strich · Mehr sehen »

Symbol

Sternbilds Löwe Der Terminus Symbol (altgriechisch σύμβολον sýmbolon ‚Erkennungszeichen‘) oder auch Sinnbild wird allgemein für Bedeutungsträger (Zeichen, Wörter, Gegenstände, Vorgänge etc.) verwendet, die eine Vorstellung bezeichnen (von etwas, das nicht gegenwärtig zu sein braucht).

Neu!!: Logische Verknüpfung und Symbol · Mehr sehen »

Verknüpfung (Mathematik)

Illustration einer zweistelligen Verknüpfung \circ, die aus den zwei Argumenten x und y das Ergebnis x\circ y zurückgibt. In der Mathematik wird Verknüpfung als ein Oberbegriff für diverse Operationen gebraucht: Neben den arithmetischen Grundrechenarten (Addition, Subtraktion usw.) werden damit etwa auch geometrische Operationen (wie Spiegelung, Drehung u. a.) sowie weitere Rechenoperationen bzw.

Neu!!: Logische Verknüpfung und Verknüpfung (Mathematik) · Mehr sehen »

Visual Basic .NET

Visual Basic.NET (Abk. VB.NET) ist eine Programmiersprache von Microsoft, die auf dem.NET Framework aufbaut.

Neu!!: Logische Verknüpfung und Visual Basic .NET · Mehr sehen »

Volladdierer

Schalt­symbol eines Voll­addierers DIN 40900 Beispiel eines invertierenden Volladierers in CMOS mittels AND-OR-Invert-LogikEin Volladdierer (englisch full adder) ist ein Schaltnetz, das üblicherweise als digitale Schaltung realisiert wird.

Neu!!: Logische Verknüpfung und Volladdierer · Mehr sehen »

Wahrheitstabelle

Animation zur Erstellung einer Wahrheitstafel Eine Wahrheitstabelle oder Wahrheitstafel, auch Wahrheitswert-Tabelle oder Wahrheitsmatrix genannt, ist eine tabellarische Aufstellung des Wahrheitswertverlaufs einer logischen Aussage.

Neu!!: Logische Verknüpfung und Wahrheitstabelle · Mehr sehen »

Wahrheitswert

Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann.

Neu!!: Logische Verknüpfung und Wahrheitswert · Mehr sehen »

Zielmenge

Abbildung 1: Eine Funktion von A nach B. In der Mathematik wird bei einer Funktion f \colon A \to B, die die Elemente einer Menge A auf Elemente einer Menge B abbildet, B als Zielmenge oder WertevorratReinhard Dobbener: Analysis.

Neu!!: Logische Verknüpfung und Zielmenge · Mehr sehen »

Zweistellige Verknüpfung

Eine zweistellige Verknüpfung \circ gibt bei den beiden Argumenten x und y das Ergebnis x\circ y zurück. Eine zweistellige Verknüpfung, auch binäre Verknüpfung genannt, ist in der Mathematik eine Verknüpfung, die genau zwei Operanden besitzt.

Neu!!: Logische Verknüpfung und Zweistellige Verknüpfung · Mehr sehen »

1-aus-n-Decoder

integrierten Schaltkreisen werden statt der Und-Gatter häufig NAND-Gatter verwendet. Ein 1-aus-n-Decoder ist eine Schaltung mit n Ausgängen und log2(''n'') Eingängen.

Neu!!: Logische Verknüpfung und 1-aus-n-Decoder · Mehr sehen »

Leitet hier um:

Inhibition (Digitaltechnik), Logische Verknüpfungen.

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »