private void Igual_Click(object sender, RoutedEventArgs e)
{
switch (operacion)
{
case "+":
if (resultado.Text == proposiciona + proposicionb)
{
tablasuma1.Items.Clear();
Proposisiciones tempPro = new Proposisiciones();
tempPro.uno = proposiciona;
tempPro.dos = proposicionb;
tempPro.tres = resultado.Text;
tablasuma1.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "v";
tempPro2.tres = "v";
tablasuma1.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "f";
tempPro3.tres = "f";
tablasuma1.Items.Add(tempPro3);
Proposisiciones tempPro4 = new Proposisiciones();
tempPro4.uno = "v";
tempPro4.dos = "f";
tempPro4.tres = "v";
tablasuma1.Items.Add(tempPro4);
Proposisiciones tempPro5 = new Proposisiciones();
tempPro5.uno = "f";
tempPro5.dos = "v";
tempPro5.tres = "v";
tablasuma1.Items.Add(tempPro5);
}
break;
}
}
private void Igual_Click(object sender, RoutedEventArgs e)
{
tablasuma1.Visibility = Visibility.Visible;
if (ver_Copy2.Text == "q+p" | ver_Copy2.Text == "q+r" | ver_Copy2.Text == "q+s" |
ver_Copy2.Text == "p+q" | ver_Copy2.Text == "p+r" | ver_Copy2.Text == "p+s" |
ver_Copy2.Text == "r+q" | ver_Copy2.Text == "r+q" | ver_Copy2.Text == "r+s" |
ver_Copy2.Text == "s+q" | ver_Copy2.Text == "s+q" | ver_Copy2.Text == "s+r")
{
tablasuma1.Items.Clear();
Proposisiciones tempPro = new Proposisiciones();
tempPro.dos = prop2.Text;
tempPro.uno = prop1.Text;
tempPro.tres = ver_Copy2.Text;
tablasuma1.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "v";
tempPro2.tres = "v";
tablasuma1.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "f";
tempPro3.tres = "f";
tablasuma1.Items.Add(tempPro3);
Proposisiciones tempPro4 = new Proposisiciones();
tempPro4.uno = "v";
tempPro4.dos = "f";
tempPro4.tres = "v";
tablasuma1.Items.Add(tempPro4);
Proposisiciones tempPro5 = new Proposisiciones();
tempPro5.uno = "f";
tempPro5.dos = "v";
tempPro5.tres = "v";
tablasuma1.Items.Add(tempPro5);
}
else if (ver_Copy2.Text == "q*p" | ver_Copy2.Text == "q*r" | ver_Copy2.Text == "q*s" |
ver_Copy2.Text == "p*q" | ver_Copy2.Text == "p*r" | ver_Copy2.Text == "p*s" |
ver_Copy2.Text == "r*q" | ver_Copy2.Text == "r*q" | ver_Copy2.Text == "r*s" |
ver_Copy2.Text == "s*q" | ver_Copy2.Text == "s*q" | ver_Copy2.Text == "s*r")
{
tablasuma1.Items.Clear();
Proposisiciones tempPro = new Proposisiciones();
tempPro.dos = prop2.Text;
tempPro.uno = prop1.Text;
tempPro.tres = ver_Copy2.Text;
tablasuma1.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "v";
tempPro2.tres = "v";
tablasuma1.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "f";
tempPro3.tres = "f";
tablasuma1.Items.Add(tempPro3);
Proposisiciones tempPro4 = new Proposisiciones();
tempPro4.uno = "v";
tempPro4.dos = "f";
tempPro4.tres = "f";
tablasuma1.Items.Add(tempPro4);
Proposisiciones tempPro5 = new Proposisiciones();
tempPro5.uno = "f";
tempPro5.dos = "v";
tempPro5.tres = "f";
tablasuma1.Items.Add(tempPro5);
}
else if (ver_Copy2.Text == "-q" | ver_Copy2.Text == "-p" | ver_Copy2.Text == "-r" |
ver_Copy2.Text == "-s")
{
negativo1.Items.Clear();
tablasuma1.Visibility = Visibility.Hidden;
negativo1.Visibility = Visibility.Visible;
Proposisiciones tempPro = new Proposisiciones();
if (ver_Copy2.Text == "-p")
{
tempPro.uno = "p";
}
else if (ver_Copy2.Text == "-q")
{
tempPro.uno = "q";
}
else if (ver_Copy2.Text == "-r")
{
tempPro.uno = "r";
}
else if (ver_Copy2.Text == "-s")
{
tempPro.uno = "s";
}
tempPro.dos = ver_Copy2.Text;
negativo1.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "f";
negativo1.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "v";
negativo1.Items.Add(tempPro3);
}
else if (ver_Copy2.Text == "-q*p" | ver_Copy2.Text == "-q*r" | ver_Copy2.Text == "-q*s" |
ver_Copy2.Text == "-p*q" | ver_Copy2.Text == "-p*r" | ver_Copy2.Text == "-p*s" |
ver_Copy2.Text == "-r*q" | ver_Copy2.Text == "-r*q" | ver_Copy2.Text == "-r*s" |
ver_Copy2.Text == "-s*q" | ver_Copy2.Text == "-s*q" | ver_Copy2.Text == "-s*r")
{
negativo2terminos.Items.Clear();
tablasuma1.Visibility = Visibility.Hidden;
negativo1.Visibility = Visibility.Hidden;
negativo2terminos.Visibility = Visibility.Visible;
Proposisiciones tempPro = new Proposisiciones();
tempPro.dos = prop2.Text;
if (ver.Text == "-p")
{
tempPro.uno = "p";
tempPro.tres = "-p";
}
else if (ver.Text == "-q")
{
tempPro.uno = "q";
tempPro.tres = "-q";
}
else if (ver.Text == "-r")
{
tempPro.uno = "r";
tempPro.tres = "-r";
}
else if (ver.Text == "-s")
{
tempPro.uno = "s";
tempPro.tres = "-s";
}
tempPro.cuatro = ver_Copy2.Text;
negativo2terminos.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "v";
tempPro2.tres = "f";
tempPro2.cuatro = "f";
negativo2terminos.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "f";
tempPro3.tres = "v";
tempPro3.cuatro = "f";
negativo2terminos.Items.Add(tempPro3);
Proposisiciones tempPro4 = new Proposisiciones();
tempPro4.uno = "v";
tempPro4.dos = "f";
tempPro4.tres = "f";
tempPro4.cuatro = "f";
negativo2terminos.Items.Add(tempPro4);
Proposisiciones tempPro5 = new Proposisiciones();
tempPro5.uno = "f";
tempPro5.dos = "v";
tempPro5.tres = "v";
tempPro5.cuatro = "v";
negativo2terminos.Items.Add(tempPro5);
}
else if (ver_Copy2.Text == "q*-p" | ver_Copy2.Text == "q*-r" | ver_Copy2.Text == "q*-s" |
ver_Copy2.Text == "p*-q" | ver_Copy2.Text == "p*-r" | ver_Copy2.Text == "p*-s" |
ver_Copy2.Text == "r*-q" | ver_Copy2.Text == "r*-q" | ver_Copy2.Text == "r*-s" |
ver_Copy2.Text == "s*-q" | ver_Copy2.Text == "s*-q" | ver_Copy2.Text == "s*-r")
{
negativo2terminos.Items.Clear();
tablasuma1.Visibility = Visibility.Hidden;
negativo1.Visibility = Visibility.Hidden;
negativo2terminos.Visibility = Visibility.Visible;
Proposisiciones tempPro = new Proposisiciones();
tempPro.uno = prop1.Text;
if (prop2.SelectedIndex == 4)
{
tempPro.dos = "p";
tempPro.tres = "-p";
}
if (prop2.SelectedIndex == 5)
{
tempPro.dos = "q";
tempPro.tres = "-q";
}
if (prop2.SelectedIndex == 6)
{
tempPro.dos = "r";
tempPro.tres = "-r";
}
if (prop2.SelectedIndex == 7)
{
tempPro.dos = "s";
tempPro.tres = "-s";
}
tempPro.cuatro = ver_Copy2.Text;
negativo2terminos.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "v";
tempPro2.tres = "f";
tempPro2.cuatro = "f";
negativo2terminos.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "f";
tempPro3.tres = "v";
tempPro3.cuatro = "f";
negativo2terminos.Items.Add(tempPro3);
Proposisiciones tempPro4 = new Proposisiciones();
tempPro4.uno = "v";
tempPro4.dos = "f";
tempPro4.tres = "f";
tempPro4.cuatro = "f";
negativo2terminos.Items.Add(tempPro4);
Proposisiciones tempPro5 = new Proposisiciones();
tempPro5.uno = "f";
tempPro5.dos = "v";
tempPro5.tres = "v";
tempPro5.cuatro = "v";
negativo2terminos.Items.Add(tempPro5);
}
else if (ver_Copy2.Text == "-q*-p" | ver_Copy2.Text == "-q*-r" | ver_Copy2.Text == "-q*-s" |
ver_Copy2.Text == "-p*-q" | ver_Copy2.Text == "-p*-r" | ver_Copy2.Text == "-p*-s" |
ver_Copy2.Text == "-r*-q" | ver_Copy2.Text == "-r*-q" | ver_Copy2.Text == "-r*-s" |
ver_Copy2.Text == "-s*-q" | ver_Copy2.Text == "-s*-q" | ver_Copy2.Text == "-s*-r")
{
negativo2terminos.Items.Clear();
tablasuma1.Visibility = Visibility.Hidden;
negativo1.Visibility = Visibility.Hidden;
negativo2terminos.Visibility = Visibility.Visible;
negativo2terminos2.Visibility = Visibility.Visible;
negativo2terminos2.Items.Clear();
Proposisiciones tempPro = new Proposisiciones();
if (ver.Text == "-p")
{
tempPro.uno = "p";
tempPro.tres = "-p";
}
else if (ver.Text == "-q")
{
tempPro.uno = "q";
tempPro.tres = "-q";
}
else if (ver.Text == "-r")
{
tempPro.uno = "r";
tempPro.tres = "-r";
}
else if (ver.Text == "-s")
{
tempPro.uno = "s";
tempPro.tres = "-s";
}
if (prop2.SelectedIndex == 4)
{
tempPro.dos = "p";
tempPro.cuatro = "-p";
}
if (prop2.SelectedIndex == 5)
{
tempPro.dos = "q";
tempPro.cuatro = "-q";
}
if (prop2.SelectedIndex == 6)
{
tempPro.dos = "r";
tempPro.cuatro = "-r";
}
if (prop2.SelectedIndex == 7)
{
tempPro.dos = "s";
tempPro.cuatro = "-s";
}
tempPro.cinco = ver_Copy2.Text;
negativo2terminos2.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "v";
tempPro2.tres = "f";
tempPro2.cuatro = "f";
tempPro2.cinco = "f";
negativo2terminos2.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "f";
tempPro3.tres = "v";
tempPro3.cuatro = "v";
tempPro3.cinco = "v";
negativo2terminos2.Items.Add(tempPro3);
Proposisiciones tempPro4 = new Proposisiciones();
tempPro4.uno = "v";
tempPro4.dos = "f";
tempPro4.tres = "f";
tempPro4.cuatro = "v";
tempPro4.cinco = "f";
negativo2terminos2.Items.Add(tempPro4);
Proposisiciones tempPro5 = new Proposisiciones();
tempPro5.uno = "f";
tempPro5.dos = "v";
tempPro5.tres = "v";
tempPro5.cuatro = "f";
tempPro5.cinco = "f";
negativo2terminos2.Items.Add(tempPro5);
}
//sumas negativos
else if (ver_Copy2.Text == "-q+p" | ver_Copy2.Text == "-q+r" | ver_Copy2.Text == "-q+s" |
ver_Copy2.Text == "-p+q" | ver_Copy2.Text == "-p+r" | ver_Copy2.Text == "-p+s" |
ver_Copy2.Text == "-r+q" | ver_Copy2.Text == "-r+q" | ver_Copy2.Text == "-r+s" |
ver_Copy2.Text == "-s+q" | ver_Copy2.Text == "-s+q" | ver_Copy2.Text == "-s+r")
{
negativo2terminos.Items.Clear();
tablasuma1.Visibility = Visibility.Hidden;
negativo1.Visibility = Visibility.Hidden;
negativo2terminos.Visibility = Visibility.Visible;
Proposisiciones tempPro = new Proposisiciones();
tempPro.dos = prop2.Text;
if (ver.Text == "-p")
{
tempPro.uno = "p";
tempPro.tres = "-p";
}
else if (ver.Text == "-q")
{
tempPro.uno = "q";
tempPro.tres = "-q";
}
else if (ver.Text == "-r")
{
tempPro.uno = "r";
tempPro.tres = "-r";
}
else if (ver.Text == "-s")
{
tempPro.uno = "s";
tempPro.tres = "-s";
}
tempPro.cuatro = ver_Copy2.Text;
negativo2terminos.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "v";
tempPro2.tres = "f";
tempPro2.cuatro = "v";
negativo2terminos.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "f";
tempPro3.tres = "v";
tempPro3.cuatro = "v";
negativo2terminos.Items.Add(tempPro3);
Proposisiciones tempPro4 = new Proposisiciones();
tempPro4.uno = "v";
tempPro4.dos = "f";
tempPro4.tres = "f";
tempPro4.cuatro = "f";
negativo2terminos.Items.Add(tempPro4);
Proposisiciones tempPro5 = new Proposisiciones();
tempPro5.uno = "f";
tempPro5.dos = "v";
tempPro5.tres = "v";
tempPro5.cuatro = "v";
negativo2terminos.Items.Add(tempPro5);
} //syma negativo segunda proposicion
else if (ver_Copy2.Text == "q+-p" | ver_Copy2.Text == "q+-r" | ver_Copy2.Text == "q+-s" |
ver_Copy2.Text == "p+-q" | ver_Copy2.Text == "p+-r" | ver_Copy2.Text == "p+-s" |
ver_Copy2.Text == "r+-q" | ver_Copy2.Text == "r+-q" | ver_Copy2.Text == "r+-s" |
ver_Copy2.Text == "s+-q" | ver_Copy2.Text == "s+-q" | ver_Copy2.Text == "s+-r")
{
negativo2terminos.Items.Clear();
tablasuma1.Visibility = Visibility.Hidden;
negativo1.Visibility = Visibility.Hidden;
negativo2terminos.Visibility = Visibility.Visible;
Proposisiciones tempPro = new Proposisiciones();
tempPro.uno = prop1.Text;
if (prop2.SelectedIndex == 4)
{
tempPro.dos = "p";
tempPro.tres = "-p";
}
if (prop2.SelectedIndex == 5)
{
tempPro.dos = "q";
tempPro.tres = "-q";
}
if (prop2.SelectedIndex == 6)
{
tempPro.dos = "r";
tempPro.tres = "-r";
}
if (prop2.SelectedIndex == 7)
{
tempPro.dos = "s";
tempPro.tres = "-s";
}
tempPro.cuatro = ver_Copy2.Text;
negativo2terminos.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "v";
tempPro2.tres = "f";
tempPro2.cuatro = "v";
negativo2terminos.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "f";
tempPro3.tres = "v";
tempPro3.cuatro = "v";
negativo2terminos.Items.Add(tempPro3);
Proposisiciones tempPro4 = new Proposisiciones();
tempPro4.uno = "v";
tempPro4.dos = "f";
tempPro4.tres = "v";
tempPro4.cuatro = "v";
negativo2terminos.Items.Add(tempPro4);
Proposisiciones tempPro5 = new Proposisiciones();
tempPro5.uno = "f";
tempPro5.dos = "v";
tempPro5.tres = "f";
tempPro5.cuatro = "f";
negativo2terminos.Items.Add(tempPro5);
} //suma dos proposiciones negativas
else if (ver_Copy2.Text == "-q+-p" | ver_Copy2.Text == "-q+-r" | ver_Copy2.Text == "-q+-s" |
ver_Copy2.Text == "-p+-q" | ver_Copy2.Text == "-p+-r" | ver_Copy2.Text == "-p+-s" |
ver_Copy2.Text == "-r+-q" | ver_Copy2.Text == "-r+-q" | ver_Copy2.Text == "-r+-s" |
ver_Copy2.Text == "-s+-q" | ver_Copy2.Text == "-s+-q" | ver_Copy2.Text == "-s+-r")
{
negativo2terminos.Items.Clear();
tablasuma1.Visibility = Visibility.Hidden;
negativo1.Visibility = Visibility.Hidden;
negativo2terminos.Visibility = Visibility.Visible;
negativo2terminos2.Visibility = Visibility.Visible;
negativo2terminos2.Items.Clear();
Proposisiciones tempPro = new Proposisiciones();
if (ver.Text == "-p")
{
tempPro.uno = "p";
tempPro.tres = "-p";
}
else if (ver.Text == "-q")
{
tempPro.uno = "q";
tempPro.tres = "-q";
}
else if (ver.Text == "-r")
{
tempPro.uno = "r";
tempPro.tres = "-r";
}
else if (ver.Text == "-s")
{
tempPro.uno = "s";
tempPro.tres = "-s";
}
if (prop2.SelectedIndex == 4)
{
tempPro.dos = "p";
tempPro.cuatro = "-p";
}
if (prop2.SelectedIndex == 5)
{
tempPro.dos = "q";
tempPro.cuatro = "-q";
}
if (prop2.SelectedIndex == 6)
{
tempPro.dos = "r";
tempPro.cuatro = "-r";
}
if (prop2.SelectedIndex == 7)
{
tempPro.dos = "s";
tempPro.cuatro = "-s";
}
tempPro.cinco = ver_Copy2.Text;
negativo2terminos2.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "v";
tempPro2.tres = "f";
tempPro2.cuatro = "f";
tempPro2.cinco = "f";
negativo2terminos2.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "f";
tempPro3.tres = "v";
tempPro3.cuatro = "v";
tempPro3.cinco = "v";
negativo2terminos2.Items.Add(tempPro3);
Proposisiciones tempPro4 = new Proposisiciones();
tempPro4.uno = "v";
tempPro4.dos = "f";
tempPro4.tres = "f";
tempPro4.cuatro = "v";
tempPro4.cinco = "v";
negativo2terminos2.Items.Add(tempPro4);
Proposisiciones tempPro5 = new Proposisiciones();
tempPro5.uno = "f";
tempPro5.dos = "v";
tempPro5.tres = "v";
tempPro5.cuatro = "f";
tempPro5.cinco = "v";
negativo2terminos2.Items.Add(tempPro5);
}
ver.Text = "";
ver_Copy.Text = "";
ver_Copy1.Text = "";
ver_Copy2.Text = "";
prop1.SelectedIndex = -1;
prop2.SelectedIndex = -1;
signo.SelectedIndex = -1;
}
private void Igual_Click(object sender, RoutedEventArgs e)
{
tablasuma1.Visibility = Visibility.Visible;
if (ver_Copy2.Text == "q+p" | ver_Copy2.Text == "q+r" | ver_Copy2.Text == "q+s" |
ver_Copy2.Text == "p+q" | ver_Copy2.Text == "p+r" | ver_Copy2.Text == "p+s" |
ver_Copy2.Text == "r+q" | ver_Copy2.Text == "r+q" | ver_Copy2.Text == "r+s" |
ver_Copy2.Text == "s+q" | ver_Copy2.Text == "s+q" | ver_Copy2.Text == "s+r")
{
tablasuma1.Items.Clear();
Proposisiciones tempPro = new Proposisiciones();
tempPro.dos = prop2.Text;
tempPro.uno = prop1.Text;
tempPro.tres = ver_Copy2.Text;
tablasuma1.Items.Add(tempPro);
Proposisiciones tempPro2 = new Proposisiciones();
tempPro2.uno = "v";
tempPro2.dos = "v";
tempPro2.tres = "v";
tablasuma1.Items.Add(tempPro2);
Proposisiciones tempPro3 = new Proposisiciones();
tempPro3.uno = "f";
tempPro3.dos = "f";
tempPro3.tres = "f";
tablasuma1.Items.Add(tempPro3);
Proposisiciones tempPro4 = new Proposisiciones();
tempPro4.uno = "v";
tempPro4.dos = "f";
tempPro4.tres = "v";
tablasuma1.Items.Add(tempPro4);
Proposisiciones tempPro5 = new Proposisiciones();
tempPro5.uno = "f";
tempPro5.dos = "v";
tempPro5.tres = "v";
tablasuma1.Items.Add(tempPro5);
if (ver_result2.Text == "+(q+p)" | ver_result2.Text == "+(q+r)" | ver_result2.Text == "+(q+s)" |
ver_result2.Text == "+(p+q)" | ver_result2.Text == "+(p+r)" | ver_result2.Text == "+(p+s)" |
ver_result2.Text == "+(r+q)" | ver_result2.Text == "+(r+q)" | ver_result2.Text == "+(r+s)" |
ver_result2.Text == "+(s+q)" | ver_result2.Text == "+(s+q)" | ver_result2.Text == "+(s+r)")
{
tablasuma1.Visibility = Visibility.Hidden;
tablasuma2.Items.Clear();
Proposisiciones tempPro11 = new Proposisiciones();
tempPro11.dos = prop2.Text;
tempPro11.uno = prop1.Text;
tempPro11.tres = ver_Copy2.Text;
tempPro11.cuatro = ver_result2.Text;
tempPro11.cinco = ver_resultadofinal.Text;
tablasuma2.Items.Add(tempPro11);
Proposisiciones tempPro21 = new Proposisiciones();
tempPro21.uno = "v";
tempPro21.dos = "v";
tempPro21.tres = "v";
tempPro21.cuatro = "v";
tempPro21.cinco = "v";
tablasuma2.Items.Add(tempPro21);
Proposisiciones tempPro31 = new Proposisiciones();
tempPro31.uno = "f";
tempPro31.dos = "f";
tempPro31.tres = "f";
tempPro31.cuatro = "f";
tempPro31.cinco = "f";
tablasuma2.Items.Add(tempPro31);
Proposisiciones tempPro41 = new Proposisiciones();
tempPro41.uno = "v";
tempPro41.dos = "f";
tempPro41.tres = "v";
tempPro41.cuatro = "v";
tempPro41.cinco = "v";
tablasuma2.Items.Add(tempPro41);
Proposisiciones tempPro51 = new Proposisiciones();
tempPro51.uno = "f";
tempPro51.dos = "v";
tempPro51.tres = "v";
tempPro51.cuatro = "v";
tempPro51.cinco = "v";
tablasuma2.Items.Add(tempPro51);
}
else if (ver_result2.Text == "+(q*p)" | ver_result2.Text == "+(q*r)" | ver_result2.Text == "+(q*s)" |
ver_result2.Text == "+(p*q)" | ver_result2.Text == "+(p*r)" | ver_result2.Text == "+(p*s)" |
ver_result2.Text == "+(r*q)" | ver_result2.Text == "+(r*q)" | ver_result2.Text == "+(r*s)" |
ver_result2.Text == "+(s*q)" | ver_result2.Text == "+(s*q)" | ver_result2.Text == "+(s*r)")
{
tablasuma1.Visibility = Visibility.Hidden;
tablasuma2.Items.Clear();
Proposisiciones tempPro11 = new Proposisiciones();
tempPro11.dos = prop2.Text;
tempPro11.uno = prop1.Text;
tempPro11.tres = ver_Copy2.Text;
tempPro11.cuatro = ver_result2.Text;
tempPro11.cinco = ver_resultadofinal.Text;
tablasuma2.Items.Add(tempPro11);
Proposisiciones tempPro21 = new Proposisiciones();
tempPro21.uno = "v";
tempPro21.dos = "v";
tempPro21.tres = "v";
tempPro21.cuatro = "v";
tempPro21.cinco = "v";
tablasuma2.Items.Add(tempPro21);
Proposisiciones tempPro31 = new Proposisiciones();
tempPro31.uno = "f";
tempPro31.dos = "f";
tempPro31.tres = "f";
tempPro31.cuatro = "f";
tempPro31.cinco = "f";
tablasuma2.Items.Add(tempPro31);
Proposisiciones tempPro41 = new Proposisiciones();
tempPro41.uno = "v";
tempPro41.dos = "f";
tempPro41.tres = "v";
tempPro41.cuatro = "f";
tempPro41.cinco = "v";
tablasuma2.Items.Add(tempPro41);
Proposisiciones tempPro51 = new Proposisiciones();
tempPro51.uno = "f";
tempPro51.dos = "v";
tempPro51.tres = "v";
tempPro51.cuatro = "f";
tempPro51.cinco = "v";
tablasuma2.Items.Add(tempPro51);
}
}
ver_term2.Text = "";
ver_result2.Text = "";
ver_Copy4.Text = "";
ver_Copy3.Text = "";
ver.Text = "";
ver_Copy.Text = "";
ver_Copy1.Text = "";
ver_Copy2.Text = "";
ver_resultadofinal.Text = "";
ver_prop4term2.Text = "";
prop1.SelectedIndex = -1;
prop2.SelectedIndex = -1;
signo.SelectedIndex = -1;
prop3term2.SelectedIndex = -1;
prop4term2.SelectedIndex = -1;
signo2.SelectedIndex = -1;
}