 algorithm analyz logic statement produc truth function tabl 