Evaluating Logical Expressions by Membrane Systems

Boolean and relational operations, which are defined for solving mathematically logical problems, are always required in computing models. Membrane com- puting is a kind of distributed parallel computing model. In this paper, we design different membranes for imple- menting primary Boolean and relational operations respec- tively. And based on these membranes, a membrane sys- tem can be constructed by a present algorithm for eval- uating a logical expression. Some examples are given to illustrate how to perform the Boolean, relational opera- tions and evaluate the logical expression correctly in these membrane systems.