בריאן ליטרל
בריאן תומאס ליטרל נולד ב-20 בפברואר 1975. הוא זמר בקבוצת הבקסטריט בויז (להקה של זמרים). נולד בקנטקי. הוריו התגרשו כשהיה בן חמש. החל לשיר במקהלת הכנסייה בבתי ספר תיכון. מקהלה זה קבוצה ששרה בכנסייה. בן דודו קווין עבר לאורלנדו והצטרף לבקסטריט בויז. קווין המליץ על בריאן. בגיל 18 בריאן גם הצטרף ללהקה...
CNF
CNF היא דרך לכתוב נוסחאות לוגיות. הנוסחה מורכבת מפסוקיות שמחוברות ב'ו'. קוניונקציה זה 'ו'. כל פסוקית היא קבוצה של ליטרלים. ליטרל הוא משתנה או לא שלו. בתוך הפסוקית משתמשים ב'או'. דיסיונקציה זה 'או'. לדוגמה: (x1 או לא x3) ו-(x2) ו-(x2 או x5 או לא x6 או xn). כדי להעביר נוסחה ל-CNF אפשר למצוא את כ...
DNF
DNF או הצורה הנורמלית הדיסיונקטיבית היא דרך לכתוב ביטויים לוגיים. ביטוי כזה הוא רשימה של חלקים שמחוברים ב'או'. כל חלק נקרא פסוקית. פסוקית היא קבוצת ליטרלים. ליטרל הוא משתנה (סימן שיכול להיות אמת או שקר) או שלילה שלו. כדי להכניס נוסחה ל‑DNF מוצאים את כל השיפוצים של המשתנים שהופכים את הנוסחה לאמת. ל...
בקסטריט בויז
בקסטריט בויז היא להקת בנים מארצות הברית. להקת בנים זה חבורה של זמרים צעירים. הלהקה נוצרה ב-1993 באורלנדו, פלורידה על ידי לו פרלמן. החברים הם הוואי, ניק, איי. ג'יי., קווין ובריאן. הם הוציאו שיר ראשון ב-1994 בשם "We've Got It Goin' On". השיר הצליח בעיקר באירופה. ב-1999 יצא אלבום ענק שלהם בשם "Millenn...