Буль үҙенең алдына логик мәсьәләләрҙе алгебрала ҡулланылған ысулдар ярҙамында сығарыу бурысын ҡуя. Теләһә ниндәй фекерҙе ул символдар менән, алгебра закондарына оҡшаш логик закондар ғәмәлдә булған тигеҙләмә күренешендә күрһәтергә тырыша.