Principali proprietà e teoremi
Dualità
Se una espressione logica è vera, ovvero soddisfa gli assiomi di Boole, anche la sua duale è vera.
Infatti, la prima colonna degli assiomi booleani è sostituibile alla seconda se si scambia l'operatore AND con l'operatore OR, ogni 1 con uno 0 e ogni 0 con un 1 e, viceversa, è possibile passare dalla seconda colonna alla prima. Questa proprietà è detta della dualità ed è valida per ogni espressione logica vera.
Se una espressione logica è vera, ovvero soddisfa gli assiomi di Boole, anche la sua duale è vera.
Infatti, la prima colonna degli assiomi booleani è sostituibile alla seconda se si scambia l'operatore AND con l'operatore OR, ogni 1 con uno 0 e ogni 0 con un 1 e, viceversa, è possibile passare dalla seconda colonna alla prima. Questa proprietà è detta della dualità ed è valida per ogni espressione logica vera.
ProprietàSi segnala il seguente link per approfondimenti. Proprietà dell'Algebra di Boole.
Teoremi
Si segnala il seguente link per approfondimenti. Teoremi dell'Algebra di Boole.
Nessun commento:
Posta un commento