Grundläggande begrepp inom boolesk algebra
En utsaga är ett påstående om vilket det är möjligt att otvetydigt avgöra om det är sant eller falskt, och vi utvärderar inte något annat informationsinnehåll i detta påstående.
Obsah článku:
Grundläggande begrepp inom boolesk algebra
Grundläggande Begrepp:
Ett påstående är varje påstående om vilket det är möjligt att otvetydigt avgöra om det är sant eller falskt, och vi utvärderar inte något annat informationsinnehåll i detta påstående.
Det logiska värdet (sanningsvärdet) för ett påstående: kallas 1 bit (binär siffra) är information om vilket av två möjliga fall som inträffade när påståendet utvärderades:
– påståendet är sant
– påståendet är felaktigt
Ett enkelt påstående är ett påstående vars sanningsvärde endast bestäms av dess innehåll. Sanningsvärdet i ett enkelt påstående kallas den oberoende logiska variabeln
Ett sammansatt påstående är ett påstående som bildas genom att sammanfoga enkla påståenden med hjälp av logiska bindeord och dess sanningsvärde beror på:
– sanningsvärdena är enkla. uttalanden (logiska operander) av vilka är anslutna
– utvalda logotyper. konjunktioner ( log. operatörer)
Logg. Funktion F är en mappning från en uppsättning påståenden till en uppsättning sanningsvärden ( 0, 1) som tilldelar påståendet ett sanningsvärde, där om påståendet V
-sant F(V) = LOG1 dvs. Y=1
-Sant F(V)= LOG0 dvs. Y= 0
En sanningstabell är en tabell som listar alla möjliga kombinationer av värden för de oberoende variablerna och motsvarande värden för de beroende variablerna.
Logg. uttryck beskriver loggen. relationer mellan stockar. operander med hjälp av logg. operatorer och använder den analoga symboliken i klassisk algebra
Logg. krets är ett materiellt system som genom logiska signaler realiserar en logisk funktion, varigenom
En logisk funktion f av ett ändligt antal oberoende logaritmer. av variabler är varje entydig tilldelning av sanningsvärdet för den beroende logiska variabeln Y till sanningsvärdena för de oberoende logikerna. variabler X1,X2,X3,…Xn
Y= F(X1,X2,X3…Xn)
Den logiska signalen är fysisk. det sätt på vilket information om loggens sanningsvärde förmedlas. variabel vars phys. substansen kan vara olika och beror på vilken fys. ett fenomen eller en egenskap som används vid implementering av loggar. Materialsystemens funktioner
En utsaga är ett påstående om vilket det är möjligt att otvetydigt avgöra om det är sant eller falskt, och vi utvärderar inte något annat informationsinnehåll i detta påstående. Läs också
System av logiska funktioner – Implikation och inhibition
