Boolean algebra simplifying examples with solutions. Consistency of the Casagrande liquid limit test. Erzurum Renault Trucks. S'more Oreos.