kolekcja formuł masterchlop: a) wykaż że jeśli kolekcja formuł∑U{Φ}jest spełnialna to ∑ |≠ ¬Φ b) wykaż że jeśli ∑ |≠ Φ to klekcja formuł ∑U{¬Φ} jest spełnialna