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); }