Benutzer:Dhanyavaada/Shefferscher Strich
aus Wikipedia, der freien encyclopedia
In der Boolesche Algebra und der Aussagenlogik bezeichnet der Sheffersche Strich, geschrieben als "↑", die logische Operation, die äquivalent zur Negation der Konjunktion, dem NAND der digitalen Elektronik, ist; umgangssprachlich entspricht dies dem "nicht beide".
Der Sheffersche Strich hat die Besonderheit, dass er allein, ohne weitere logische Operatoren, ein für die Aussagenlogik funktional vollständiges Junktorensystem bildet. Diese Eigenschaft ist die Grundlage für die grosse Bedeutung des NAND in der modernen digitalen Elektronik.
|