v Ck con n variables proposicionales.