Любое выражение при использовании с условными операторами приводится к его булеву значению (True или False)
Исходя только из того что:
>>> bool(0)
False
>>> bool(not 0)
True
ваше выражение уже может быть сокращено до:
if a and a_2 and b and b_2 and c and c_2 or a and a_2 and not b and not b_2 and c and c_2 or not a and not a_2 and b and b_2 and c and c_2
А вообще подобных условий никогда не пишите, уже завтра Вы сами не сможете понять, что написали.
Наверняка эти условия можно структурировать разветвив на вложенные подусловия и сгруппировав функциями all и any.