claim: Greg Tiernan and Conrad Vernon directed Sausage Party.
evidence: In most computer programming languages , a Boolean data type is a data type with only two possible values  : true or false .. true. Truth. false. False ( logic ). Related to this , Boolean -LRB- named after George Boole -RRB- may also refer to  :. George Boole. George Boole. Boolean algebra , a logical calculus of truth values or set membership. Boolean algebra. Boolean algebra. Boolean algebra -LRB- structure -RRB- , a set with operations resembling logical ones. Boolean algebra. Boolean algebra. Boolean domain , a set consisting of exactly two elements whose interpretations include false and true. true. Truth. false. False ( logic ). Boolean domain. Boolean domain. Boolean circuit , a mathematical model for digital logical circuits .. Boolean circuit. Boolean circuit. Boolean expression , an expression in a programming language that produces a Boolean value when evaluated. Boolean expression. Boolean expression. Boolean function , a function that determines Boolean values or operators. Boolean function. Boolean function. Boolean model -LRB- probability theory -RRB- , a model in stochastic geometry. Boolean network , a certain network consisting of a set of Boolean variables whose state is determined by other variables in the network. Boolean network. Boolean network. Boolean processor , a 1-bit variable computing unit. Boolean processor. Boolean processor. Boolean satisfiability problem. Boolean satisfiability problem. Boolean satisfiability problem