Question 1: Is there any way to make the fllowing statement true by replacing to variables(a,b,c) with True and False. Simply write yes or no. ((a and b) and (not a and not b)) or ((a or b) and (not a and b)) and ((((a and not a)or ((b and not b)) or c)) and (b and not c)) http://en.wikipedia.org/wiki/Boolean_satisfiability_problem

Question 2: Will the following program written in pseudo-pseudocode halt on the input "-1". It should be understandable to everyone. http://en.wikipedia.org/wiki/Halting_problem
--------The program-------
input equals input multiplied by 2
input equals input squared
input equals input divided by -5
input equals 1 divided by input
if the number you get is greater than -100 then repeat the code with the input being the input you ended with on your last run through. If it is equal too or less than -100 than the program terminates here(it is a halting problem in that case). If the program will never end it is a halting program. Simply answer this question with what inputs ends up being to the third decimal if it is a halting program and simply no if it is not.
--------------------------
A slightly more formal definition of the program written in javascript
function check(input){
while(input>-100){
input=input*2
input=Math.pow(input,2)
input=input/-5
input=1/input; } return input.toFixed(3);}
check(-1);
//Note: if input is never returned it should return no
Sam made this not me. I don't understand it either.