Evaluate
Evaluate Cell
Cut
Copy
Copy as
Plain Text
Input Text
Image
Paste
Convert to
InputForm
StandardForm
TraditionalForm
Image
Clear Formatting
Formatting...
Divide Cell
Merge Cells
Publish/Share Cell
Embed...
Email Cell to
Me
Others...
Email Cell...
Deploy Cell as
Instant API
Instant Web Computation
Instant Web Form
Embeddable Code
Advanced
Show Cell Expression...
Cell Update History...
​
show results
language of predicates
Slovenian
English
number of elements
7
number of statements
5
number of negated statements
5
help
A
B
C
D
E
F
G
1. White (B) ⊻ Square (F)
2. Medium (E) ∨ Square (B)
3. Large (E) ⊻ ¬White (A)
4. Small (G) ⇔ ¬Pentagon (B)
5. ¬Medium (E) ∨ Medium (G)
6. ¬(¬Medium (D) ∨ ¬Gray (F))
7. ¬(¬Gray (F) ⇔ Square (B))
8. ¬(Large (B)  Gray (C))
9. ¬(Large (E) ∨ ¬Pentagon (D))
10. ¬(Square (F) ⊻ ¬Large (B))
True
False
True
True
True
False
False
False
False
True