Даны логически общезначимые формулы логики предикатов A B C

Даны логически общезначимые формулы логики предикатов A, B, C. Которая из формул A, B, C логически общезначима как: а) тавтология или логическое следствие тавтологии; б) аксиома равенства или логическое следствие аксиом равенства; в) свойство кванторов или логическое следствие свойства кванторов? Здесь логическое следствие понимается как тавтологическое следствие (т. По таблице истинности) или как следствие по смыслу кванторов. A B C x y (xyyx) x y xyy xy x y xyx y xy