logical equivalence

[ریاضیات] تعادل منطقی، هم ارزی منطقی