first computer exercise with truth tables