We present an attempt how to define a coupled system
consisting of two partitions logics and we introduce a
product of partition logics. These partition logics have a
close connection with Moore and Mealy type automata. We show
how the coupled system of two automata is connected with the
product of partition logics,  and some illustrative examples
are presented.
