Trigent Software interview question

Mathematical logic and programing related questions