bf1=And[Implies[EA,LC],Implies[LA,Not[LC]],Implies[EB,EA],Implies[LB,Not[EA]],Implies[EC,MB],Implies[LC,Not[MB]]];
bf2=And[Or[EA,LA,MA],Or[EB,LB,MB],Or[EC,LC,MC]];
bf3=And[Not[And[EA,LA]],Not[And[EA,MA]],Not[And[LA,MA]],Not[And[EB,LB]],Not[And[EB,MB]],Not[And[LB,MB]],Not[And[EC,LC]],Not[And[EC,MC]],Not[And[LC,MC]]];
bf4=And[Or[EA,EB,EC],Or[LA,LB,LC],Or[MA,MB,MC]];

BooleanTable[And[bf1,bf2,bf3,bf4],{EA,LA,MA},{EB,LB,MB},{EC,LC,MC}]//TableForm

SatisfiabilityInstances[And[bf1,bf2,bf3,bf4],{EA,LA,MA,EB,LB,MB,EC,LC,MC}]