> Given the premises I would argue that there are 2 possibilities.
> 1. God's omnipotence does not include the ability to violate logic
> 2. God's omnipotence include the ability to violate logic

Both of these assume that illogical things are things that 'ability' makes sense to talk about. Does it really make sense to ask whether God has the *ability* to draw a four sided triangle? Isn't it inherently nonsensical to talk about the ability to violate logic? You ask which possibility it is, but the dilemma itself is illogical.

Divine omnipotence should probably be defined as God being able to do whatever God wants to do. Sometimes this is phrased in terms of God always being able to act in perfect accordance with God's nature or character. The key point being that there is never a situation in which God wants to do something but cannot. The more interesting questions are the ones that ask if God's omnipotence implies the ability to, for example, act contrary to God's moral principles. For the Christian God this would mean things like lying or hating the vulnerable.