Logical modeling of uncertainty in signaling pathways of cancer systems