New posts in Heyting Algebra

Example of a finite Heyting algebra that is not Boolean