Better coverage for laptop battery & power test

- Via boolean exp
- Yeah truth tables & CNF... :)