Use the buttons below to create your symbolic logic statements