Logical analisys of biological systems