Plotting venn diagram for logical relations on Maxima