Булевая алгебра на WM

Кто-нибудь знает какие то проги для Windows Mobile для минимизации функций? Картами Карно или просто... И вообще не помешал бы какой нибудь булевый калькулятор чтоб в нем были все эти Штрихи Шеффера, Стрелки Пирса...