Sabe-se que Juvenal estar de folga é condição
necessária para Matheus trabalhar e condição
suficiente para Danilo treinar com Carlos. Sabe-se,
também, que Danilo treinar com Carlos é condição
necessária e suficiente para Leonardo treinar com
Leandro. Assim, quando Leonardo não treina com
Leandro: