Hello, I have been tring to simplify a Boolean problem and have gotten a bit stuck. So far I have: F = '(a'.'(c'+a)+b) F = a''+''(c'.a).b' F = a+(c'.a).b' Next I think it should be: a+(c'.1).b' I'm lost after that. Any help would be greatly appreciated. Cheers, Dave.