Here's another critical point.

[Geek Moses]

A very basic truth table can be used to determine if a program is a virus or 
not.  But, only Boolean Logic and Logic Gates can allow a tracking of the 
flow of flow of information through a program.  Most languages are too tough 
for the machine to read, and in other cases too simple such as Assembly 
Language.  But, when they are designed to write programs in a graphic 
window, as you would with a Digital Logic Simulator, even though it does not 
run the program in any way, but tests it as if it were just a digital 
circuit to track the flow of information and develop a truth table, it can 
then be done without a human ever reading the source code, or machine code.

I am going to work on this, even if no-one else is.