A⥽(B⥽B)

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


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