Для того чтобы определить, являются ли данные логические формулы общезначимыми, противоречивыми или произвольными, давайте проанализируем каждую из них по отдельности.

• Сначала разберем внутреннюю часть формулы: A & B -> A. Эта часть выражает, что если A и B истинны, то A также истинно. Это всегда истинно, так как если A истинно, то следствие A также истинно.
• Теперь рассмотрим отрицание: -(A & B -> A). Это будет истинно только в случае, если A & B -> A ложно. Однако, как мы уже выяснили, A & B -> A всегда истинно. Следовательно, -(A & B -> A) всегда ложно.

Таким образом, первая формула является противоречивой.

• Здесь A - A V B можно интерпретировать как "A и не (A или B)". Это выражение будет истинно только в случае, если A истинно и (A или B) ложно.
• Однако, если A истинно, то A V B всегда будет истинно (так как A истинно). Следовательно, A - (A V B) не может быть истинным, так как A не может одновременно быть истинным и ложным.

Таким образом, вторая формула также является противоречивой.

Теперь, когда мы проанализировали обе формулы, можем сделать вывод:

• Первая формула является противоречивой.
• Вторая формула также является противоречивой.

Следовательно, правильный ответ: обе формулы противоречивы.