Pokemon Types represented in a symbolic format

type-coverage-symbols.txt

Hoenn Type Combinations w/weaknesses

Types: 🔘🔥🌊⚡🌳❄️👊🏽💜🧱🕊️🔮🐛⛰️👻🐉🖤🔩🧚🏼‍♀️

Normal:   🔘
Fire:     🔥
Water:    🌊
Electric: ⚡
Grass:    🌳
Ice:      ❄️
Fighting: 👊🏽
Poison:   💜
Ground:   🧱
Flying:   🕊️
Psychic:  🔮
Bug:      🐛
Rock:     ⛰️
Ghost:    👻
Dragon:   🐉
Dark:     🖤
Steel:    🔩
Fairy:    🧚🏼‍♀️



Symbols:
(⛰️⚡❄️)      Rock, Electric, AND Lighting types
(:⛰️⚡❄️)     Rock, Electric, OR Ice type
(🔥~🌊)        A Psychic type that RESISTS Water
(🔮!⛰️)        A Psychic type that IS NOT also Rock
(🔮!:⛰️⚡❄️)  A Psychic type that IS NOT also Rock, Lightning, or Ice
(👻×🖤)        A Ghost type that IS also Dark
(👻×:🔘👊🏽🖤)  A Ghost type that IS also Normal, Fighting, or Dark
(⚡|❄️~👊🏽)     An Electric type OR an Ice type that resists Fighting


Weaknesses for every type combination in Hoenn

Bug           🔥🕊️⛰️
Bug x Fght    🔥🕊️(🔮~🐛)
Bug x Flyn    🔥⚡❄️🕊️⛰️
Bug x Ghst    🔥🕊️⛰️🖤(👻~👻)
Bug x Grnd    🔥🌊❄️🕊️
Bug x Pois    🔥🕊️⛰️(🔮~🐛)
Bug x Rock    🌊⛰️🔩
Bug x Watr    ⚡🕊️(⛰️~🌊)
Dark          👊🏽🐛
Dark x Ghst   
Dark x Gras   🔥❄️👊🏽💜🕊️🐛
Dark x Watr   ⚡🌳👊🏽🐛
Dragon        ❄️(🐉~🐉)
Drgn x Flyn   ❄️⛰️(🐉~🐉)
Drgn x Grnd   🌳❄️🧱(🐉~🐉)
Drgn x Watr   (🐉~🐉)
Electric      🧱
Elec x Stee   🔥👊🏽🧱
Elec x Watr   🌳🧱
Fighting      🕊️🔮
Fght x Fire   🌊🧱🕊️🔮
Fght x Gras   🔥❄️💜🕊️🔮
Fght x Psyc   🕊️👻
Flyn x Gras   🔥❄️💜🕊️(⛰️~🌳)
Flyn x Nrml   ⚡❄️⛰️
Flyn x Pois   ⚡❄️🔮⛰️
Flyn x Psyc   ⚡❄️⛰️👻🖤
Flyn x Stee   🔥⚡
Flyn x Watr   ⚡(⛰️~🌊)
Fire          🌊🧱⛰️
Fire x Grnd   🌊🧱
Fire x Rock   🌊👊🏽🧱⛰️
Ghost         🖤(👻~👻)
Grass         🔥❄️💜🕊️🐛
Gras x Pois   🔥❄️🕊️🔮
Gras x Rock   ❄️👊🏽🐛🔩
Gras x Watr   💜🕊️🐛
Ground        🌊🌳❄️
Grnd x Psyc   🌊🌳❄️🐛👻🖤
Grnd x Rock   🌊🌳👊🏽🧱(❄️~⛰️)(🔩~🧱)
Grnd x Watr   🌳
Ice           🔥👊🏽⛰️🔩
Ice x Watr    ⚡🌳👊🏽
Normal        👊🏽
Nrml x Psyc   🐛🖤
Poison        🔮
Pois x Watr   ⚡🧱🔮
Psychic       🐛👻🖤
Psyc x Rock   🌊🌳👻🖤🔩(🐛~⛰️)
Psyc x Watr   ⚡🌳🐛👻🖤
Rock          🌊🌳👊🏽🧱🔩
Rock x Stee   🌊👊🏽🧱
Rock x Watr   ⚡🌳👊🏽(🧱~🌊)
Steel         🔥👊🏽🧱
Water         ⚡🌳




Mandatory Types:
🧱🌳👊🏽🔮

Expand and Simplify the notations

(🔮~🐛)
(🔮×:🔥👊🏽💜🕊️👻)
(🔮×:👊🏽🕊️)        NOTE: 🕊️(🔮×👊🏽🕊️) simplifies to just 🕊️(🔮×👊🏽)

(👻~👻)
(👻×:🔘👊🏽🖤)
(👻×🖤)           NOTE: 🖤(👻×🖤) simplifies to just 🖤

(🐉~🐉)
(🐉×🔩)

(⛰️~🌳)
(⛰️×:🔥🌳💜🕊️🐛🐉🔩)
(⛰️×:🔥🌳🕊️🐛🔩)

(⛰️~🌊)
(⛰️×:🌊🌳🐉)
(⛰️×:🌊🌳)

Remaining Coverage:
🔘🔥🌊⚡❄️💜🕊️🐛⛰️👻🐉🖤🔩

Bug           🔥🕊️⛰️
Bug x Fght    🔥🕊️(🔮×👊🏽)
Bug x Flyn    🔥⚡❄️🕊️⛰️
Bug x Ghst    🔥🕊️⛰️🖤
Bug x Grnd    🔥🌊❄️🕊️
Bug x Pois    🔥🕊️⛰️(🔮×👊🏽)
Bug x Rock    🌊⛰️🔩
Bug x Watr    ⚡🕊️(⛰️×:🌊🌳)
Dragon        ❄️
Drgn x Flyn   ❄️⛰️
Fght x Psyc   🕊️👻
Flyn x Gras   🔥❄️💜🕊️(⛰️×:🔥🌳🕊️🐛🔩)
Flyn x Nrml   ⚡❄️⛰️
Flyn x Psyc   ⚡❄️⛰️👻🖤
Flyn x Stee   🔥⚡
Flyn x Watr   ⚡(⛰️×:🌊🌳)
Ghost         🖤
Grass         🔥❄️💜🕊️🐛
Gras x Watr   💜🕊️🐛
Nrml x Psyc   🐛🖤
Psychic       🐛👻🖤




Mandatory types:
🧱🌳👊🏽❄️🖤🔮

Remaining Coverage:
🔘🔥🌊⚡💜🕊️🐛⛰️👻🐉🔩

Bug           🔥🕊️⛰️
Bug x Fght    🔥🕊️(🔮×👊🏽)
Bug x Pois    🔥🕊️⛰️(🔮×👊🏽)
Bug x Rock    🌊⛰️🔩
Bug x Watr    ⚡🕊️(⛰️×:🌊🌳)
Fght x Psyc   🕊️👻
Flyn x Stee   🔥⚡
Flyn x Watr   ⚡(⛰️×:🌊🌳)
Gras x Watr   💜🕊️🐛

Remove any types whose counters are a superset of another.
For example, anything that satisfies 🔥🕊️ will satisfy 🔥🕊️⛰️.

Bug           🔥🕊️⛰️
Bug x Fght    🔥🕊️(🔮×👊🏽)
Bug x Rock    🌊⛰️🔩
Fght x Psyc   🕊️👻
Flyn x Stee   🔥⚡
Flyn x Watr   ⚡(⛰️×:🌊🌳)
Gras x Watr   💜🕊️🐛


Separate the types which only occur once. These are
🌊💜🐛👻🔩🔮*⛰️*

Bug           : 🔥🕊️ ⛰️
Bug x Fght    : 🔥🕊️ (🔮*)
Bug x Rock    :       (🌊|⛰️|🔩)
Fght x Psyc   : 🕊️   (👻)
Flyn x Stee   : 🔥⚡
Flyn x Watr   : ⚡   (⛰️*)
Gras x Watr   : 🕊️   (💜|🐛)


Now that these are separated, we can draw some more conclusions.
Flying occurs the most, so lets separate this into rows that include flying and those which don't

No Flying:
Bug x Rock    :       (🌊|⛰️|🔩)
Flyn x Stee   : 🔥⚡
Flyn x Watr   : ⚡   (⛰️*)

Mandatory types:
🧱🌳👊🏽❄️🖤🔮 + (:🌊⛰️🔩) + (⚡|🔥⛰️*)

Flying:

Bug           : 🕊️🔥 ⛰️
Bug x Fght    : 🕊️🔥 (🔮*)
Fght x Psyc   : 🕊️   (👻)
Gras x Watr   : 🕊️   (💜|🐛)

Mandatory types:
🧱🌳❄️🖤👊🏽🔮 (:🌊⛰️🔩) (⚡|🔥⛰️*) (🕊️ | 👻(:💜🐛)(🔥|⛰️🔮*))


Our Final formula is:
🧱🌳❄️🖤👊🏽🔮 (:🌊⛰️🔩) (⚡|🔥(⛰️×:🌊🌳)) (🕊️|👻(:💜🐛) (🔥|⛰️(🔮×👊🏽)))

This covers these possible combinations:
🧱🌳❄️🖤👊🏽🔮🌊⚡🕊️
🧱🌳❄️🖤👊🏽🔮🌊⚡👻💜🔥
🧱🌳❄️🖤(👊🏽×🔮)🌊⚡👻💜⛰️
🧱🌳❄️🖤👊🏽🔮🌊⚡👻🐛🔥
🧱🌳❄️🖤(👊🏽×🔮)🌊⚡👻🐛⛰️
🧱🌳❄️🖤👊🏽🔮🌊🔥⛰️*🕊️
🧱🌳❄️🖤👊🏽🔮🌊🔥⛰️*👻💜
🧱🌳❄️🖤👊🏽🔮🌊🔥⛰️*👻🐛
🧱🌳❄️🖤👊🏽🔮⛰️⚡🕊️
🧱🌳❄️🖤👊🏽🔮⛰️⚡👻💜🔥
🧱🌳❄️🖤(👊🏽×🔮)⛰️⚡👻💜
🧱🌳❄️🖤👊🏽🔮⛰️⚡👻🐛🔥
🧱🌳❄️🖤(👊🏽×🔮)⛰️⚡👻🐛
🧱🌳❄️🖤👊🏽🔮⛰️*🔥🕊️
🧱🌳❄️🖤👊🏽🔮⛰️*🔥👻💜
🧱🌳❄️🖤👊🏽🔮⛰️*🔥👻🐛
🧱🌳❄️🖤👊🏽🔮🔩⚡🕊️
🧱🌳❄️🖤👊🏽🔮🔩⚡👻💜🔥
🧱🌳❄️🖤(👊🏽×🔮)🔩⚡👻💜
🧱🌳❄️🖤👊🏽🔮🔩⚡👻🐛🔥
🧱🌳❄️🖤(👊🏽×🔮)🔩⚡👻🐛
🧱🌳❄️🖤👊🏽🔮🔩🔥⛰️*🕊️
🧱🌳❄️🖤👊🏽🔮🔩🔥⛰️*👻💜
🧱🌳❄️🖤👊🏽🔮🔩🔥⛰️*👻🐛

⛰️* = (⛰️×:🌊🌳)