Truth Functional Logic for Hackers