Неверно, что внеземные цивилизации существуют, и не существуют = F(x1...xn)
A = {внеземные цивилизации существуют}
F(A) = ¬(A∧¬A)
Судя по последнему столбцу, видим что данное сложное суждение не зависит от входящих в него простых высказываний и всегда истинно, то-есть, является тавтологией
