مدل بولین یا منطق دو وجهی (منطق صفر و یک) مدل ساده ایی است که بر نظریه مجموعه ها و جبر بولی استوار است.
در ﻣﻨﻄﻖ ﺑﻮﻟﻴﻦ دو ﻧﺘﻴﺠﻪ ﻣﺤﺘﻤﻞ اﺳﺖ: صفر و یک
ﺻﻔﺮنشان دﻫﻨﺪه آن است ﻛﻪ ﻋﻨﺼﺮ ﻣﻮرد ﺑﺮرسی ﺑﻪ ﻣﺠﻤﻮﻋﻪ ﺗﻌﻠﻖ ﻧﺪارد و یک یعنی ﻋﻨﺼﺮ ﺑﻪ ﻣﺠﻤﻮﻋﻪ ﺗﻌﻠﻖ دارد
مدل منطق بولین