================ Es. 2, 16/07/2016 ==============

F ::= bot | -F | F/\F | F\/F

c(bot) = true
c(-F) = false
c(F1 \/ F2) = c(F1) && c(F2)
c(F1 /\ F2) = true

Test:

c(-(bot /\ bot)) --> false

c(bot \/ (bot /\ -bot))
  --> c(bot) && c(bot /\ -bot)
  --> true && true
  --> true

================ Es. 2, 16/07/2016 ==============

F ::= bot | -F | F/\F | F\/F

c(F) = d(F, false)

% d(F,b) b vale true se ho attraversato una congiunzione
d(bot, b) = true
d(-F, b) = b
d(F1\/F2, b) = d(F1,b) && d(F2,b)
d(F1/\F2, b) = d(F1,true) && d(F2,true)