logically equivalent

[ریاضیات] منطقا هم ارز