# Is this boolean expression reducible?

I have this boolean expression: F1 = a1'a2' + a1a2'.

Could it be reduced even more?

-
Yes. If you can't just see it, write out a logic table and see what you get. – The Photon Dec 22 '12 at 18:55
looks like homework – Erion Dec 23 '12 at 10:01
@Erion Not exactly. – Billie Dec 23 '12 at 14:07

Yes, factor out the a2'. You should see something interesting with what happens to a1.

When you factor out a2', you get a2'(a1' + a1)
The statement a1' + a1 means (a1 or NOT a1). It should be obvious that this is ALWAYS true and thus can be removed from the logic statement. This leaves you with F1 = a2'
Thank you. p.s. , you meant to a1'a2' + a1, am I right? – Billie Dec 22 '12 at 19:07