You are using a browser not supported by the Wolfram Cloud
Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.
I understand and wish to continue anyway »
{aa⋀a,idempotent law for and} |
{aa⋁a,idempotent law for or} |
{a⋀bb⋀a,commutativity for and} |
{a⋁bb⋁a,commutativity for or} |
a a |
a b |
a b |
a⋁b a b |
a⋀b a b |
{aa⋀(a⋁b),absorption law} |
{aa⋁a⋀b,absorption law} |
{(a⋀b)⋀ca⋀(b⋀c),associativity of and} |
{(a⋁b)⋁ca⋁(b⋁c),associativity of or} |
You are using a browser not supported by the Wolfram Cloud
Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.
I understand and wish to continue anyway »