Develop a SystemC model to compute the following logic expression:
Y = (A and B) or (C and D),
where the inputs and the output of the basic module should be SC_Logic type. The state of the output variable 'Y' should change whenever any of the input variables (A, B, C, D) change their state.
The model should include only the basic module description.