Logica Tools
for
Thought
 
  Wegman Show Instructions

First Expression:


Second Expression:



Result: