(4.10) De-Morgan's Law Proof - Wokwi ESP32, STM32, Arduino Simulator