Да простят меня за занудство, но, как говорится, сами напросились ;)
Цитата
Если девушке хорошо, то она не выспата.
Если девушка выспата, то уже не утро.
Запишем вышеприведённые утверждения на языке пропозициональной логики, обозначив элементарные высказывания через переменные:
G (A girl feels
good) — девушке хорошо;
S (A girl has got enough
sleep) — девушка выспата;
M (It’s
morning already!) — уже утро.
Получаем следующие формулы:
G→гS
(1) S→гM
(2) Теперь сделаем допущение о том, что уже утро, т.е. M=T (true)
(3). Тогда из формул (2) и (3) по правилу Modus tollens получаем:
(S→гM) & M →гS – т.е.
девушка не выспата!
Если же мы берём за исходное, что девушка таки да, выспата, т.е. S=T
(4), – то из (1) и (4) по тому же правилу получаем:
(G→гS) & S →гG – т.е.
девушке не хорошо!
Выводы: логически непротиворечивыми являются только две* из всех возможных ситуаций:
- сейчас утро, и девушке хорошо, но она не выспата (M&G&гS),
либо - девушка выспата, только уже не утро, да и ей как-то не очень (S&гM&гG).
Выбор, по-моему, очевиден =)
P.S. «г» — это такой знак отрицания.
___________
[*] Здесь надобно подстелить соломки – на самом деле их три:
c. Уже утро, девушку подняли, но не разбудили, и ей, мягко говоря, фигово (M&гS&гG)
– о чём и было сказано у Сиса:
Цитата
Какие же, оказывается, в метро утром женщины страшные...
что логически верно, но по-человечески как-то совсем грустно (
для показушки по румбе 
про ЗАВИСТЬ им точно еще рано! 
.... в честь Шека, я так понимаю? 
