Simple truth table example
public boolean implies(boolean value1, boolean value2)
{
boolean value;
if (value2) return true;
if (!value1) return true;
if ((value1 == true) && (value2 == false)) return false;
// if ((value1 == true) && (value2 == true)) return true;
return true;
}
public void truth(int row, boolean value1, boolean value2)
{
TruthTableModel model = (TruthTableModel)jTable1.getModel();
model.setValueAt(String.valueOf(value1), row, 0);
model.setValueAt(String.valueOf(value2), row, 1);
model.setValueAt(String.valueOf(!value1), row, 2);
boolean value = value1 & value2;
model.setValueAt(String.valueOf(value), row, 3);
value = value1 | value2;
model.setValueAt(String.valueOf(value), row, 4);
value = implies(value1, value2);
model.setValueAt(String.valueOf(value), row, 5);
value = (value1 == value2);
model.setValueAt(String.valueOf(value), row, 6);
value = value1 ^ value2;
model.setValueAt(String.valueOf(value), row, 7);
}