а) А + В + (В —> (С + D)) = 0
А + В + $\neg В\vee (С+D)$ = 0
А + В + $\neg В\vee С+\neg В\vee D$ = 0
А + В + $\neg В\vee С+D$ = 0
А + В = 0
А = -В

б) (А —>С) + ВА + D = 0
$\neg А\vee С$ + ВА + D = 0
¬А ∨ $С+ВА$ + D = 0
С + ВА + D = 0
ВА + С + D = 0

в) $А+С$—>$В+С+D$ = 0
¬$А+С$ ∨ $В+С+D$ = 0
$\neg А•\neg С$ ∨ $В+С+D$ = 0
$\neg А\vee В$ • $\neg А\vee С$ • $\neg А\vee D$ = 0
¬А ∨ В = 0
В = А

г) (А—>С)+В С • А + D = 0
$\neg А\vee С$ + В • С • А + D = 0
¬А ∨ С + В • С • А + D = 0
¬А ∨ С + В • С + D = 0
¬А ∨ С + D = 0
D = ¬$\neg A\vee C$ = A • ¬C

д) $(В+С)•А$ —> $(А+С)+D$ = 0
¬$(В+С)•А$ ∨ $А+С+D$ = 0
$\neg (В+С)\vee \neg А$ ∨ $А+С+D$ = 0
$\neg В•\neg С\vee \neg А$ ∨ $А+С+D$ = 0
$\neg В\vee \neg А$ • $\neg С\vee \neg А$ ∨ $А+С+D$ = 0
$\neg В\vee \neg А\vee D$ • $\neg С\vee \neg А\vee D$ ∨ $А+С+D$ = 0
$В•А\to D$ • $C•\neg A\to D$ ∨ $A+C+D$ = 0

е) (А —>С) $А\to С$ (А—>(С • В • D)) = 1
$\neg А\vee C$ • $\neg А\vee C$ • $\neg А\vee (C•B•D)$ = 1
$\neg А\vee C$ • $\neg А\vee (C•B•D)$ = 1
$\neg А\vee C$ = 1
C = 1