{a_label}
{a}
|
{a_and_b_label} {a_and_b} |
{b_label}
{b}
|
{a_and_not_b_label}
{a_and_not_b}
|
{b_and_not_a_label}
{b_and_not_a}
|
|
{not_b_label}
{not_b}
|
{not_a_label}
{not_a}
|
|
{not_a_and_not_b_label} {not_a_and_not_b} |