SAT-2 solution by Tarjan Algorithm / problem from spoj

the birthday paradox

1． 本程序在Visual C++环境中运行,执行文件为:ZYSBB.cpp 2． 程序运行后，显示学生信息，然后提示用户输入变量的个数，接着输入逻辑表达式（变量按A，B，C…顺序输入大写英文字母）。 3． 若所键入的是重言式或是矛盾式，则显示“表达式是重言式”或“表达式是矛盾式”；否则显示“表达式既不是重言式，也不是矛盾式” 4． 接着显示两个菜单项以供用户选择：*人机交互输入(E/e) 显示真值表(Z/z)* 按E/e则与用户交互输入，根据设定的变量值，求出逻辑表达式的值；按

Here i am trying to demonstrate my idea, that Russell s paradox of set theory can be solved by computer simulation in discrete time. It leads to oscillating sets, meaning theese sets automatically become existent and then disappear over time by their