notButton.setName("notButton");
add(patternPane, andButton, gbc);
gbc.gridy++;
add(patternPane, orButton, gbc);
gbc.gridy++;
add(patternPane, notButton, gbc);
gbc.gridy++;
} else {
add(patternPane, plusButton, gbc);
gbc.gridy++;
add(patternPane, minusButton, gbc);
gbc.gridy++;
add(patternPane, mulButton, gbc);
gbc.gridy++;
add(patternPane, divButton, gbc);
gbc.gridy++;
add(patternPane, parenButton, gbc);
gbc.gridy++;
add(patternPane, constBox, gbc);
gbc.gridy++;
add(patternPane, operBox, gbc);
gbc.gridy++;
add(patternPane, functBox, gbc);
gbc.gridy++;