Logika obliczeniowa H.E.V: Witam, jak stwierdzić, ile logicznie równoważnych formuł posiada dana formuła? Jest jakaś zależność np. dotycząca ilości zmiennych, stałych itd, jakiś wzór?