द्वारा कार्यक्रम sf.net/projects/vennvis

4 चर तक में सेट तर्क बयानों से वेन आरेख कल्पना करें। इसके अलावा एक सत्य तालिका और समकक्ष सत्य कथन उत्पन्न करता है।