Verification of Boolean algebra and logic gates and De Morgan's theorem experiment