not(H and not(S) and V) and not(not(H) and not(S) and V)