Certificate Programs
Courses
Building Blocks
Types
Functions
Properties
Conditional Properties
Proofs
Why Logicwalk?
Log In
Get Started
((((
a
+
b
) +
c
) +
d
) +
e
) +
f
=
((
a
+
b
) + (
c
+
d
)) + (
e
+
f
)
View as a table
|
Try proving it
Start from the conclusion and work back up the proof. Click the arrow to show the parents.