Algorithm Of Test Of Logic