SSSE-SIG Matematica Serie 14 1. Ricava le tavole di verità delle seguenti espressioni: a. 𝑎̅ + 𝑏 ∙ 𝑎 b. 𝑎 → 𝑏̅ c. ̅̅̅̅̅̅̅̅ (𝑎 + 𝑏⨁𝑐) → 𝑎̅ 2. Stabilisci di che tipo di espressioni si tratta: a. 𝑎 ∙ 𝑎̅ b. 𝑎 + 𝑎̅ c. 𝑎 ↔ (𝑏̅ + 𝑎) 3. Dimostra che l’operatore condizionale non è commutativo. 4. Dimostrare le leggi di De Morgan. 5. Semplifica le seguenti espressioni: a. ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ 𝑎 → (𝑎̅ + 𝑏) b. (𝑎 → 𝑏̅ ) ∙ 𝑎 ̅̅̅̅̅̅̅̅ c. 𝑎 + (𝑎 ̅ ∙ 𝑏̅) d. ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ (𝑎 ∙ 𝑏̅) → (𝑎 + 𝑏) ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅̅ e. (𝑎 ∙ 𝑏) + (𝑏 → (𝑎 + 𝑏̅)) Algebra di Boole