https://profilbaru.com/A_Symbolic_Analysis_of_Relay_and_Switching_Circuits