A sentença Se Arraial dAjuda é um distrito de Porto Seguro, então Trancoso é um distrito de Itabuna  equivale a:
						
						-                              A.                                                  Se Trancoso não é um distrito de Itabuna, então Arraial dAjuda é um distrito de Porto Seguro.
 -                              B.                                                  Arraial dAjuda é um distrito de Porto Seguro ou Trancoso não é um distrito de Itabuna.
 -                              C.                                                  Se Arraial dAjuda é um distrito de Porto Seguro, então Trancoso não é um distrito de Itabuna.
 -                              D.                                                  Trancoso é um distrito de Itabuna ou Arraial dAjuda não é um distrito de Porto Seguro.