Boolean Изразяване Solver е командния ред помощна програма, която генерира таблица истината за даден Булев израз.Писано е в Java, така че тя ще работи на всяка платформа, която има среда на Java Runtime инсталиран, но Makefile и черупки-скрипта включени...