Skip to main content navigation
parent site logoSite logo

Projects archive / Monotone boolean functions (3 variables)

Code:fdl3Hussain2001
Title:Monotone boolean functions (3 variables)
Author:Bibi Hussain
Date:Apr-2001
Type:model
Funding:3YP - Undergraduate third year project
Short description:Modelling FDL3 by decreasing families of subsets
EM Technologies:tkeden, %scout, %donald
Keywords:education, tutorial
empublic references:
EMpress references:
Web site references:
Previous locations:
Tour:README.txt

This model was developed by Bibi Hussain in her third year project in 2000-2001. It illustrates the construction of two types of lattice: boolean lattices (as represented by the powerset B3 of a 3 element set) and free distributive lattices [FDLs] (as represented by monotone boolean functions with 3 arguments or equivalently propositions involving 3 variables and the connectives AND and OR). The model animates set union and intersection in B3, and displays the correspondence between elements of FDL3 and decreasing subsets of B3. Each decreasing family of subsets X determines a unique monotone boolean function that takes the value 0 on all the characteristic vectors associated with sets in X. [WMB]

fdl3Hussain2001 is available locally within DCS at /dcs/emp/empublic/projects/fdl3Hussain2001
Download fdl3Hussain2001.tar.gz
Uncompressed, fdl3Hussain2001 is 37.3 Kbytes (in 12 files).
Your download will be smaller as it will be compressed.
Help on extracting the files from the download.
README.txt 1893 08:40 PM Aug 29 2002 04:05 PM Dec 15 2014
README.txt~ 1870 08:23 PM Aug 29 2002 04:05 PM Dec 15 2014
README.xml 1242 08:41 PM Aug 29 2002 04:05 PM Dec 15 2014
Run.e 96 08:36 PM Aug 29 2002 04:05 PM Dec 15 2014
fdl3.e 3970 06:59 AM Mar 12 2002 04:05 PM Dec 15 2014
fdl3BibiHussain2000.txt 1339 11:43 AM Aug 20 2002 04:05 PM Dec 15 2014
fdl3screenshot2.gif 15162 08:43 PM Aug 29 2002 04:05 PM Dec 15 2014
lattice.e 3003 02:55 PM Jul 29 2002 04:05 PM Dec 15 2014
latticeWin.d 1113 09:47 AM May 03 2002 04:05 PM Dec 15 2014
wmbsupp.e 137 08:20 AM Jul 27 2002 04:05 PM Dec 15 2014
wmbsupp.script 711 10:45 PM Aug 16 2002 04:05 PM Dec 15 2014
xyPanel.s 7664 06:32 PM Apr 23 2002 04:05 PM Dec 15 2014

empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.