I doubt if there's anything like the best of all possible formal languages for boolean expressions, but there are many ways of coming up with calculi that are more efficient than most of the ones currently in common use.

You might enjoy exploring the possibilities of using [minimal negation operators][1] as the fundamental primitives of a propositional calculus.

A calculus that is very efficient from both conceptual and computational standpoints is based on just two types of logical connectives, both of variable $k$-ary scope.  The formulas of this calculus parse into a family of graph-theoretical data structures whose underlying graphs are called "painted and rooted cacti" (PARCs).  Hence the name "[cactus language][2]" for this style of propositional calculus, in either its traversal string or parse graph forms.

* The first kind of propositional expression is a parenthesized sequence of propositional expressions, written as $⦗ ~ e_1 ﹐ e_2 ﹐ \ldots ﹐ e_{k-1} ﹐ e_k ~ ⦘$ and read to say that exactly one of the propositions $e_1, e_2, \ldots, e_{k-1}, e_k$ is false, in other words, that their minimal negation is true.  A clause of this form maps into a PARC structure called a _lobe_, in this case, one that is _painted_ with the colors $e_1, e_2, \ldots, e_{k-1}, e_k$ as shown below.

   ![Cactus Graph Lobe Connective][3]

* The second kind of propositional expression is a concatenated sequence of propositional expressions, written as $e_1 ~ e_2 ~ \ldots ~ e_{k-1} ~ e_k$ and read to say that all of the propositions $e_1, e_2, \ldots, e_{k-1}, e_k$ are true, in other words, that their logical conjunction is true.  A clause of this form maps into a PARC structure called a _node_, in this case, one that is _painted_ with the colors $e_1, e_2, \ldots, e_{k-1}, e_k$ as shown below.

   ![Cactus Graph Node Connective][4]

All other propositional connectives can be obtained through combinations of these two forms.  Strictly speaking, the parenthesized form is sufficient to define the concatenated form, making the latter formally dispensable, but it is convenient to maintain it as a concise way of expressing more complicated combinations of parenthesized forms.  While working with expressions solely in propositional calculus, it is easiest to use plain parentheses for logical connectives.  In contexts where ordinary parentheses are needed for other purposes an alternate typeface — for example, $⦗ ~ ﹐ ~ ⦘$ — may be used for logical operators.

See above links for further details.

  [1]: http://ncatlab.org/nlab/show/minimal+negation+operator
  [2]: http://ncatlab.org/nlab/show/differential+logic#cactus_language_for_propositional_logic_3
  [3]: http://mywikibiz.com/images/5/5e/Cactus_Graph_Lobe_Connective.jpg
  [4]: http://mywikibiz.com/images/9/98/Cactus_Graph_Node_Connective.jpg