A = { Andrea è sincero }

B = { Barbara è sincera }

C = { Ciro è sincero }

B↔A = { Andrea dice che Barbara è sincera ( Barbara è sincera se e solo se Andrea è sincero) }

(A∧C)↔B  = { Barbara dice che Andrea e Ciro sono sinceri  ( Andrea è sincero e Ciro è sincero se e solo se Barbara è sincera ) }

¬A↔C= { Ciro dice che  che Andrea è bugiardo (Andrea non è sincero se e solo se Ciro è sincero ) }

A
 B
 C
 A∧C A↔B (A∧C)↔B ¬A↔C
V
 V
 V
 V
 V
 V
 F
V
 F
 V
 V
 F
 F
 F
F
 V
 V
 F
 F
 F
 V
F
 F
 V
 F
 V
 V
 V
V
 V
 F
 F
 V
 F
 V
V
 F
 F
 F
 F
 V
 V
F
 V
 F
 F
 F
 F
 F
F
 F
 F
 F
 V
 V
 F

Solo in un caso (A↔B)∧(B∧C)∧((A∧C)↔B) ∧(¬A↔C )è vera. In questo caso A, B sono false e C è vero . Quindi Andrea e Barbara sono bugiardi e Ciro è sincero.