A⥽(B⥽B)

برابر انگلیک (انگلیسی): S1


تاربرگ‌های پیموده‌شده در این نشست: M4 A⥽(B∨¬B)