Apenas para validar se as os caracters são válidos pode fazer algo do género:
String operation = "((TvF->T)^(T->F))->(~F<->T)";
Set<String> validStrings = new HashSet<String>(
Arrays.asList(new String[]{ "(", "T", "v", "F", "->", "<->", "~", ")", "^", "?" })
);
Set<Character> combinedChars = new HashSet<Character>(
Arrays.asList(new Character[]{ '-', '<' })
);
boolean isValidOp = true;
StringBuilder subString = new StringBuilder();
for (int i = 0; i < operation.length(); i++) {
subString.append(operation.charAt(i));
if (validStrings.contains(subString.toString())) {
subString = new StringBuilder();
} else {
if (!combinedChars.contains(operation.charAt(i))) {
isValidOp = false;
break;
}
}
}
System.out.println(isValidOp);
Mas para o que validação de expressões lógicas será necessário algo mais, tal como mencionaram nos comentários teria que garantir que por exemplo os parênteses são fechados quando abertos.
String.matches( ... )
para verificar se há caracteres inválidos