Dodal Janoš implemetacijo boolovih formul