sobre el tipo político de sociedad

A partir de las convenciones,  traduzca las proposiciones formuladas en el lenguaje de la lógica proposicional hacia el lenguaje natural. 

s= estamos en una sociedad socialista
c= estamos en una sociedad capitalista
a= estamos en una sociedad autoritarista
l= estamos en una sociedad libertarianista
j= estamos en una sociedad justa
f= somos una sociedad feliz

1. 1. c^a

   2. sv¬s

   3. l->¬c

   4. j<->f

   5. ¬(c->¬j)

   6. (svc)^(avl)

   7. c->(¬l^¬j)

   8. (¬j^¬f)->¬l

   9. (cv¬c)^¬f

   10. ((c^a)->¬f)^((s^a)->¬f)

   11. (c^a)<->(s^a)

   12. (j->f)^(f->l)