Jakie są podstawowe wzory na prawdopodobieństwo potrzebne na SAT?
Podstawowa definicja to P(A) = liczba sprzyjających wyników / całkowita liczba wyników. Kluczowe wzory to: dopełnienie P(A^c) = 1 - P(A), suma P(A∪B) = P(A) + P(B) - P(A∩B), przecięcie przy niezależności P(A∩B) = P(A)·P(B) oraz warunkowe P(A|B) = P(A∩B)/P(B). Wzory na permutacje i kombinacje służą do poprawnego liczenia wyników.



