Espressioni Logiche Equivalenti

Un’espressione logica è una sequenza (o stringa) finita di costanti, variabili, operatori e parentesi tali che:

• 0 e 1 sono espressioni
• una variabile è un espressione
• se A è un espressione, lo è anche A’ (l’apice significa “negato”)
• se A e B sono espressioni, lo sono anche (A+B) e (A-B)

Due espressioni E1 ed E2 sono espressioni logiche equivalenti (E1=E2) se e solo se descrivono la medesima espressione e quindi hanno la medesima tabella di verità.

Esempio: E1 = x ⊕ y    E2 = ( x ∧ y’ ) ∨ ( x’ ∧ y )    sono equivalenti