[Risolto] Insiemi

Sviluppo in parte l'espressione a sinistra

S = [(a' V b') & (a' -> b)]'

é il negato di una AND e quindi é la OR dei negati

(De Morgan)

(a' V b')' V (a' -> b)'

il primo operando é il negato di una OR

e quindi sempre per De Morgan é la AND dei negati

[(a')' & (b')'] V (a' -> b)' =

(a & b) V (a' -> b)'

e qui non toccherei nulla perché l'equivalente di S appena trovata

di fatto é D.

Illeggibile! Cancella i segni a matita, illumina bene, e rifotografa solo quello.
Per i simboli da Copia/Incolla con cui non hai dimestichezza vedi se può aiutarti la mia collezione
∓ ± √() ᵍ ½ ⅔ ⁰ ¹ ² ³ ⁸ ⁹ ∛ ∜ ‰ ∫ → ∞ ~= α β γ δ ∂ ε η θ ζ λ μ ν π ρ σ ς τ ξ υ φ χ χ^2 ω Γ ≡ Δ Ξ Λ Π Σ Φ Ψ Ω «» € ≠ ≈ ≤ ≥ × · ← ↑ → ↓ ↔ ↕ ⇐ ⇧ ⇩ ⇒ ↺ ↻ ¬ Ø ∩ ∪ ∧ ∨ £ ♠ ♣ ♥ ♦ © ™ ® • ÷ ○ ◦ ` ó ô ⟂ ∇ ≺ ≼ ≅ ª ä æ ë ï î ö ü ∀ ∈ ∉ ∃ ∄ ⊂ ⊆ ✔ Â Ƀ Ĉ Ď Ñ Ô — 💡 🕯 ∝ æ …
se te ne servono altri li trovi al link
http://cloford.com/resources/charcodes/utf-8_mathematical.htm