Jumlalar algebrasi

A va B jumlalarning dizyunksiyasi deb bu jumlalarning kamida bittasi rost bo’lganda rost bo’luvchi A va B jumlaga aytiladi. A^B jumla “A yoki B”deb o’qiladi.