Per "assiomi" intendi le proprietà base delle funzioni logiche (qualche nome: idempotenza, commutatività, associatività, leggi di De Morgan e altre?).
La seconda potresti risolverla così:
Codice:
Y = ABC + ABC + ABC
= ABC + ABC (idempotenza di +)
= ABC (idempotenza di +)
Per la prima provo a suggerirti questo (in minuscolo le variabili negate):
Codice:
Y = a(B + C) + ABc + AB + C
= a(B + C) + AB(c + 1) + C (raccoglimento di + sotto *)
= a(B + C) + AB1 + C (assorbimento di +)
= a(B + C) + AB + C (neutro di *)
= aB + aC + AB + C (distributività di * rispetto a +)
= B(a + A) + aC + C (raccoglimento di + sotto *)
= B1 + aC + C (legge tautologica di +)
= B + aC + C (neutro di *)
= B + C(a + 1) (raccoglimento di + sotto *)
= B + C (assorbimento di +)
Ho messo un po' più passaggi del normale, spero sia meglio comprensibile...
Stammi bene...