Translate propositional statements and compound statements into symbolic form, including negations (~π, read βnot πβ), conjunctions (π β§ π, read βπ and πβ), disjunctions (π β¨ π, read βπ or πβ), conditionals (π β π, read βif π then πβ), and biconditionals (π β π, read βπ if and only if πβ), including statements representing geometric relationships.

1-on-1 AI tutoring aligned to G.RLT.1.a. Instant help for students, real-time insights for teachers.
Used in classrooms by 100,000+ students at Baltimore County, Plano ISD, Deer Valley USD, KIPP, and districts nationwide.
Free for teachers, forever β