+SAT a pouziti na booleany