логика

1. Любая планета имеет своих обитателей.
2. Большинство планет обитаемы.
_____________________________________
не все планеты исследованы

обитаема (m) любая планета (x)
обитаемы (m) большинство планет (y)
Решение
Пусть x - любая, m - обитаемая, y - большинство. Универсум - планеты.
M = (xm)Amy = (xm+x'm')(m'+y) = m'x'+xmy+x'm'y = m'x'+xmy
F(x,y) = x'+y = Axy.
m =====-------
x =====-------
y ========----

xy f(x,y)
00 1
01 1
10 0
11 1
F(x,y) = x'+y = Axy.
исходя из отношения можно не проводя доказательств, а просто сделать вывод почему получено такое заключение (не все планеты исследованы)? Только потому, что неверна первая посылка.