高橋君と青木君がともに \(i\) 番目の商品を欲しがっているということは，\(T_i,A_i\) がともに o であるということと同じです．したがって，\(T_i=A_i\) = o であるような \(i\) が存在するかどうかを \(i=1,2,\ldots,N\) に対して順番に調べることでこの問題を解くことができます．

実装例(C++)

#include <bits/stdc++.h>
using namespace std;

int main() {
  int N;
  cin >> N;
  string A, T;
  cin >> A >> T;
  for (int i = 0; i < N; i++) {
    if (T[i] == 'o' && A[i] == 'o') {
      cout << "Yes" << endl;
      return 0;
    }
  }
  cout << "No" << endl;
}

実装例(Python)

N = int(input())
A = input()
T = input()

for i in range(N):
    if T[i] == A[i] == "o":
        print("Yes")
        exit()

print("No")