Asi to nějak nechápu čeho chceš docílit. Přece, když ten program pojede od shora, tak si nejdříve ověří jestli platí "když Ter1 = log1" - pokud ano vykoná tělo podmínky, pokud ne, pokračuje na další podmínku "když Ter2 = log1" a opět si zjistí jestli platí nebo ne.

Směr programu :
-Kot => log0
-VenP => log0
-Cerp => log0
-VenR => log0

když Ter1 = log1
-Kot => log1
-VenP => log1
-Cerp => log1

když Ter2 = log1
-Kot => log1
-VenR => log1

Pokud není splněna ani jedna podmínka, všechny proměnné zůstanou v log0.