Logical Proposition Calculator