<Li> Logical constant--<Ul> <Li> Logical connective--</Li> <Li> Quantifier--</Li> </Ul> </Li> <Ul> <Li> Logical connective--</Li> <Li> Quantifier--</Li> </Ul> <Li> Logical connective--</Li> <Li> Logic gate--<Ul> <Li> Boolean Function--</Li> </Ul> </Li>

This is an outline of the logic of the program