Logic puzzle might be present in lieu of a grid in a puzzle about the location of different shops. Logic puzzle A logic puzzle is a puzzle deriving from the mathematics field of deduction. The logic puzzle was first produced by Charles Lutwidge Dodgson, who is better known under his pen name Lewis Carroll, the author of "Alice's Adventures in Wonderland". In his book "The Game of Logic" he introduced a game to solve problems such as confirming the conclusion "Some greyhounds are not fat" from the statements "No fat creatures run well" and "Some greyhounds run well". Puzzles like this, where
State logic State logic A state logic control system is a programming method created for PLCs. A state logic control system uses a state transition diagram as a model of reality, thus using the fundamentals of finite-state machine theory as the basis of a programming language. State logic enables users to model the application they are trying to control by using a hierarchy that consists of Tasks, subdivided by States which are described by Statements. 'Tasks' are a description of a sequential activity of the model. The machines, applications or processes being modelled by state logic will usually contain more than one