repl.it
@anonymous/

SympatheticLovelyCondition

Python

No description

fork
loading
Files
  • main.py
  • universe.py
main.py
1
2
3
4
5
6
7
8
9
10
11
12
from universe import *
        
X = [x() for _ in range(10)]

# ∃x (x ↔ ¬x)
for x in X:
  if x == (not x):
    print("x ↔ ¬x is satisfied")
  else:
    raise(RuntimeError('x ↔ ¬x is violated'))

Fetching token
?