Discrete logic gates. {{topic>type_logic/discrete}}