Operatori logici e vettori

Operatori logici e vettori Carlo Elce 1

Operatori logici e vettori

Carlo Elce

In questo file illustreremo le proprietà degli operatori logici (NOT, AND, OR, e XOR) mediante i vettori e la definizione di nuovi operatori mediante i precedenti.

Nella valutazione delle espressioni logiche, 1 denota vero e 0 denota falso.

“ ” “ ”

NOT logico (negazione)

 →

 

 

0 1

   

:= =

¬

P ( P

)

   

1 0

AND logico (congiunzione)

  

  

1

1 1 

 →

     

0

1 0

:= := =

∧

P Q ( P Q

)

     

0

0 1

     

     

0

0 0

OR logico (disgiunzione)

  

  

1

1

1 

 →

     

1

0

1

= = ∨ =

Q ( P Q

)

P      

1

1

0

     

     

0

0

0

XOR logico (disgiunzione esclusiva)

  

  

1 0

1  →

     

0 1

1

= = ⊕ =

Q ( P Q

)

P      

1 1

0

     

     

0 0

0

Mediante gli operatori precedenti possiamo definire, per esempio, l’implicazione materiale e la doppia implicazione, www.matematicamente.it