Minimal logic

ウィキペディアから