variables on the left

variables on the right

values for which it's true