se os valores lógicos de duas proposições forem verdades, então o valor lógico da disjunção entre elas é verdade

 se os valores lógicos de duas proposições forem iguais, então o valor lógico do bicondicional entre elas é verdade 

se os valores lógicos de duas proposições forem diferentes, então o valor lógico do condicional entre elas é falso

 se os valores lógicos de duas proposições forem falsos, então o valor lógico da conjunção entre elas é falso