Na tautologia o resultado é sempre verdadeiro.
No Se....Então se considerarmos a primeira parte F então será verdade independentemente da segunda. Se a primeira é V a segunda tem de ser V para dá verdade.
Se Joana é magra, então Joana é magra ou Gerusa é baixa.
( perceba que se considerarmos verdade Joana ser magra, a segunda parte obrigatoriamente será verdade, pois no OU basta um V para ser verdade. Se considerarmos Falso Joana ser magra, nem precisamos analisar a segunda parte, já que no Se ...Então se começar com F será verdade no final.)
Se Joana é magra, então Joana é magra é Gerusa e baixa.
Se Joana é magra ou Gerusa é baixa, então Gerusa é baixa.
Se Joana é magra ou Gerusa é baixa, então Joana é magra e Gerusa é baixa.
Se Joana é magra ou não é magra, então Gerusa é baixa.