A se os valores lógicos de duas proposições forem falsos, então o valor lógico do condicional entre elas é verdade
B se os valores lógicos de duas proposições forem diferentes, então o valor lógico do bicondicional entre elas é verdade
C se os valores lógicos de duas proposições forem iguais, então o valor lógico da disjunção exclusiva entre elas é verdade
D se os valores lógicos de duas proposições forem verdade, então o valor lógico da conjunção entre elas é falso