https://profilpelajar.com/A_Symbolic_Analysis_of_Relay_and_Switching_Circuits