truth table (E <=> E and G) and (F <=> (not E and not H) or (E and H)) and (G <=> not H or not F) and (H <=> J) and (J <=> (H and F) or (not H and not F))