ミスで正しくはこっちです
論理計算で

S=¬AB¬C+A¬B¬C+¬A¬BC+ABC

G=AB+AC+BC

この上の２式から
S=(A+B+C)¬G+ABC　
を証明したいのですが、自分では証明できませんでした
わかる方といてください
ちなみに　¬はNOTです
（例）
NOT(A)=¬A
です