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