Truth tables and logic circuits