Introducing
Your new presentation assistant.
Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.
Trending searches
(2,2,0,0,1,1)
3 Observations
3 Conjunctions
2 Main positive height
1 Other positive height
1 Negation height
1 Negations
(2,2,0,0,1,1)
(2,2,1,1,0,0)
benjamin.bisping@tu-berlin.de
bbisping.de
⟨a⟩⋀{..., ...}
⟨a⟩...
-1,0,0,0,0,0
a, p', q
⋀{..., ...}
min[1,3],0,0,0,0,0
¬ ...
0,-1,0,0,0,0
min[1,4],0,0,0,0,0
0,0,0,min[3,4],0,0
min[1,5],0,0,0,0,-1
Observations
Conjunctions
Main positive height
Other positive height
Negation height
¬ ...
Negations