X V Y ∨ ¬Z
Объяснение:
1) противоречит строке 2
2) противоречит строке 1
3) противоречит строке 3
4) не противоречит ничему.
X V Y ∨ ¬Z
Объяснение:
1) противоречит строке 2
2) противоречит строке 1
3) противоречит строке 3
4) не противоречит ничему.