Truth-functional logic
Redirect to:
Truth function