private static void StworzImplikacje(Graf g, int n1, int n2) // W tej metodzie indeksowanie od 1
{
if (n1 == 0 || n2 == 0 || g == null)
{
throw new Exception();
}
if (n1 < 0)
{
n1 = Zaneguj(-n1, g.IloscWierzcholkow);
}
if (n2 < 0)
{
n2 = Zaneguj(-n2, g.IloscWierzcholkow);
}
// X1 | X2 -> ~X2 => X1
g.DodajKrawedzSkierowana(Zaneguj(n2, g.IloscWierzcholkow) - 1, n1 - 1);
// X1 | X2 -> ~X1 => X2
g.DodajKrawedzSkierowana(Zaneguj(n1, g.IloscWierzcholkow) - 1, n2 - 1);
}
