Discuss the relationship between and the converting of Propositional Calculus to AEGs and AEGs to PC.